We show that some natural re nements of the Straubing and Brzozowski hierarchies correspond (via the so called leaf-languages) step by step to similar re nements of the polynomial-time hierarchy. This extends a result of H.-J. Burtschik and H. Vollmer on relationship between the Straubing and the polynomial hierarchies. In particular, this applies to the boolean hierarchy and the plus{hierarchy.

The Karmabhedavastu is the fourteenth chapter of Guṇaprabha’s Vinayasūtra. It concerns disputes related to ecclesiastical acts in Buddhist monastic community. consists two sections, which are collected from different texts Mūlasarvāstivāda Vinaya corpus. A first critical edition Sanskrit text Karmabhedavastu, Tibetan translations bsTan ’gyur, and an annotated translation main contributions this...

Exile ecumenism arose unintentionally as part of cooperation on secular projects the exile community and was thus saved by ecclesiastical self­-centeredness. Ecumenical meetings, dealing with strictly controversial theological topics, remained episodic. The issue common resistance Catholic evangelical Christians in socialist Czechoslovakia human rights freedoms general held an important place.

Archaeological information systems offer methods and tools for representing collected data and performing analyses with which taking into account imperfect data is often hard to please. Our contribution describes the use of several modal logics to model and verify the effects of the consideration of uncertain data, but also to check the quality of a corpus in an interdisciplinary collaborative ...

The orthodox Anglican Church practice of baptism from the sixteenth Century required the parents to bring the child to church, on a day of public worship, where the ceremony would be conducted by an ordained clergyman. An upper limit of 14 days after birth was stipulated for this ceremony from about 1650 onwards. The urgency implicit in this rule related to the theological concern of the church...

Music facilitated by technology has led to an unprecedented development in performancepractice: the ability to generate sound without the physical gesture required when performing on an acoustic instrument. Response to this development has resulted in divergent performance aesthetic preferences, ranging from the emphasis of acousmatically– based listening practices to the development of electro...

The research project Germania Sacra provides a comprehensive prosopographical database, that makes structured and comparable data of the Church of the Holy Roman Empire available for further research. The database contains approximately 31,000 records of premodern persons, new data is continuously added. This digital index of persons is supplemented by the "Database of Monasteries, Convents and...