Mystical Experience and Interpretation: The Problem of Difference and Unity in the Essentialist and Constructivist Theories of the Twentieth Century by Anna RUDNYTSKA

Subjects: Get full text

Cross-Cultural Responses to Digital Guides in Authoritarian Heritage: A Case Study of the Chiang Kai-Shek Memorial Hall by Chan-Li Lin

Subjects: Get full text

Timed Interpreted Systems as a New Agent-Based Formalism for Verification of Timed Security Protocols by Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Andrzej Zbrzezny, Mirosław Kurkowski

Subjects: Get full text

Bounded Model Checking of Dense-Timed Deontic Interpreted Systems: A Satisfiability Modulo Theories Approach by Bożena Woźna-Szcześniak, Ireneusz Szcześniak, Ireneusz Olszewski

Subjects: “…dense-timed deontic interpreted systems…”
Get full text