Author:
Bárány Vince,ten Cate Balder,Segoufin Luc
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Andréka, H., van Benthem, J., Németi, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic 27, 217–274 (1998)
2. Bárány, V., Bojańczyk, M.: Finite satisfiability for guarded fixpoint logic. Draft available at arXiv:1104.2262v1 [cs.LO] (2011)
3. Bárány, V., Gottlob, G., Otto, M.: Querying the guarded fragment. In: Symposium on Logic In Computer Science, LICS (2010)
4. Lecture Notes in Artificial Intelligence;D. Berwanger,2001
5. Lecture Notes in Computer Science;M. Bojańczyk,2002
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献