Author:
Orłowska Ewa,Szałas Andrzej
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Ackermann, W.: Untersuchungen über das Eliminationsproblem der Mathematischen Logik. Mathematische Annalen 110, 390–413 (1935)
2. Studies in Logic and the Foundations of Mathematics;A. Arnold,2001
3. Lecture Notes in Computer Science,2004
4. D’Agostino, G., Montanari, A., Policriti, A.: A set-theoretic translation method for polymodal logics. Journal of Automated Reasoning 3(15), 317–337 (1995)
5. Demri, S., Orłowska, E.: Logical analysis of demonic nondeterministic programs. Theoretical Computer Science 166, 173–202 (1996)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献