Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Ackermann, W.: Untersuchungen über das eliminationsproblem der mathematischen logik. Mathematische Annalen 110, 390–413 (1935)
2. North-Holland Mathematical Library;C. Berge,1989
3. Lecture Notes in Computer Science;E. Boros,2000
4. Doherty, P., Lukaszewicz, W., Szałas, A.: Computing circumscription revisited. Journal of Automated Reasoning 18(3), 297–336 (1997)
5. Ebbinghaus, H.-D., Flum, J.: Finite Model Theory. Springer, Heidelberg (1995)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Quantifier Elimination in Elementary Set Theory;Relational Methods in Computer Science;2006