Author:
Goré Rajeev,Thomson Jimmy
Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Avellone, A., Fiorino, G., Moscato, U.: Optimization techniques for propositional intuitionistic logic and their implementation. Theoretical Computer Science 409(1), 41–58 (2008)
2. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)
3. Buddy (2011),
http://sourceforge.net/projects/buddy/
4. Lecture Notes in Artificial Intelligence;L. Buisman,2007
5. Goré, R., Thomson, J., Widmann, F.: An experimental comparison of theorem provers for CTL. In: TIME 2011: Eighteenth International Symposium on Temporal Representation and Reasoning, pp. 49–56 (September 2011)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献