Author:
Hustadt Ullrich,Konev Boris,Schmidt Renate A.
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Bachmair, L., Ganzinger, H.: Resolution theorem proving. In: Robinson, Voronkov (eds.) [22], ch. 2, pp. 19–99.
2. Börger, E., Grädel, E., Gurevich, Y.: The Classical Decision Problem. Springer, Heidelberg (1997)
3. Lecture Notes in Artificial Intelligence;H. Nivelle de,2001
4. Degtyarev, A., Fisher, M., Konev, B.: Monodic temporal resolution. ACM Transactions on Computational Logic (To appear)
5. Lecture Notes in Artificial Intelligence;A.B. Degtyarev,2003
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Neural Precedence Recommender;Automated Deduction – CADE 28;2021
2. Labelled Superposition for PLTL;Logic for Programming, Artificial Intelligence, and Reasoning;2012
3. Fair Derivations in Monodic Temporal Reasoning;Automated Deduction – CADE-22;2009
4. Implementing Temporal Logics: Tools for Execution and Proof;Lecture Notes in Computer Science;2006