Author:
de Nivelle Hans,Pratt-Hartmann Ian
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Andréka, H., van Benthem, J. Németi, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27(3):217–274, (1998).
2. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Springer Verlag, Berlin Heidelberg New York, (1997).
3. Ph. D. Thesis;R.S. Boyer,1971
4. C-L. Chang, R. C-T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973.
5. Lect Notes Comput Sci;C. Fermüller,1993
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献