Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. Y. Auffray and P. Enjalbert. Modal theorem proving: an equational viewpoint. In IJCAI-11, Detroit, pages 441–445, August 1989.
2. M. Abadi and Z. Manna. Modal theorem proving. In J. H. Siekmann, editor, CADE-8, pages 172–189. Springer Verlag, LNCS 230, July 1986.
3. S. Aitken, H. Reichgelt, and N. Shadbolt. Resolution theorem proving in reified modal logics. Journal of Automated Reasoning, 12:103–129, 1994.
4. W. Bibel, S. Brüning, U. Egly, and T. Rath. KoMeT. In CADE-12, System Descriptions, pages 783–787. Springer-Verlag, LNAI 814, 1994.
5. W. Bibel. On matrices with connections. Journal of the Association for Computing Machinery, 28(4):633–645, October 1981.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献