The undecidability of simultaneous rigid E-unification with two variables
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 305-318
- https://doi.org/10.1007/3-540-63385-5_52
Abstract
No abstract availableKeywords
This publication has 20 references indexed in Scilit:
- The undecidability of simultaneous rigid E-unificationTheoretical Computer Science, 1996
- Rigid E-unification: NP-completeness and applications to equational matingsInformation and Computation, 1990
- First-order modal tableauxJournal of Automated Reasoning, 1988
- A Simplified Proof Method for Elementary LogicPublished by Springer Nature ,1983
- An Improved Proof ProcedurePublished by Springer Nature ,1983
- The undecidability of the second-order unification problemTheoretical Computer Science, 1981
- Theorem Proving via General MatingsJournal of the ACM, 1981
- Tree acceptors and some of their applicationsJournal of Computer and System Sciences, 1970
- Mechanical Theorem-Proving by Model EliminationJournal of the ACM, 1968
- Generalized finite automata theory with an application to a decision problem of second-order logicTheory of Computing Systems, 1968