Author:
Kuncak Viktor,Rinard Martin
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation and Applications. CUP (2003)
2. Balas, E., Padberg, M.W.: Set partitioning: A survey. SIAM Review 18(4), 710–760 (1976)
3. Lecture Notes in Computer Science;C. Barrett,2004
4. Berman, L.: The complexity of logical theories. Theoretical Computer Science 11(1), 71–77 (1980)
5. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Springer, Heidelberg (1997)
Cited by
54 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Two Variable Logic with Ultimately Periodic Counting;SIAM Journal on Computing;2024-07-08
2. Trees;Fragments of First-Order Logic;2023-03-30
3. Transitivity;Fragments of First-Order Logic;2023-03-30
4. Equivalence and counting;Fragments of First-Order Logic;2023-03-30
5. Equivalence;Fragments of First-Order Logic;2023-03-30