Iliano Cervesato (cervesato)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Cervesato, Iliano, Franceschet, Massimo and Montanari, Angelo. 1998. “The Complexity of Model Checking in Modal Event Calculi with Quantifiers.” in KR’98: Principles of Knowledge Representation and Reasoning, edited by Anthony G. Cohn, Lenhart K. Schubert, and Stuart C. Shapiro, pp. 368–379. San Francisco, California: Morgan Kaufmann Publishers.