Author:
Golińska-Pilarek Joanna,Orłowska Ewa
Reference52 articles.
1. [BAL01] Ph. Balbiani, Emptiness relations in property systems, Lecture Notes in Computer Science 2561, Springer (2001), 15–34.
2. [BGO06] D. Bresolin, J. Golińska-Pilarek, and E. Orłowska, Relational dual tableaux for interval temporal logics, Journal of Applied Non-Classical Logics Vol. 16, No. 3–4 (2006), 251–277.
3. [BUR06] A. Burrieza, M. Ojeda-Aciego, and E. Orłowska, Relational approach to order of magnitude reasoning, Lecture Notes in Artificial Intelligence 4342 (2006), 105–124.
4. [DAL05] J. Dallien and W. MacCaull, RelDT: A relational dual tableaux automated theorem prover, Preprint, 2005.
5. [DEM96] S. Demri and E. Orłowska, Logical analysis of demonic nondeterministic programs, Theoretical Computer Science 166, 1996, 173–202.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献