Author:
Hustadt Ullrich,Schmidt Renate A.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Auffray, Y., Enjalbert, P.: Modal theorem proving: An equational viewpoint. J. Logic Computat. 2(3), 247–297 (1992)
2. Bachmair, L., Ganzinger, H.: Rewrite-based equational theorem proving with selection and simplification. J. Logic Computat. 4(3), 217–247 (1994)
3. De Nivelle, H., Schmidt, R.A., Hustadt, U.: Resolution-based methods for modal logics. Logic J. IGPL (2000) (to appear)
4. Ganzinger, H., de Nivelle, H.: A superposition decision procedure for the guarded fragment with equality. In: Proc. LICS 1999, pp. 295–303. IEEE Computer Soc, Los Alamitos (1999)
5. Herzig, A.: Raisonnement automatique en logique modale et algorithmes d’unification. PhD thesis, Univ. Paul-Sabatier, Toulouse (1989)
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献