On Simultaneous Rigid E-Unification (1997)

by Margus Veanes
Citations:11 - 2 self

Documents Related by Co-Citation

16 Special Cases and Substitutes for Rigid E-Unification – David A. Plaisted, Im Stadtwald - 1995
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
718 The Semantics of Predicate Logic as a Programming Language – M. H. Van Emden, R. A. Kowalski - 1976
751 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
2474 The Design and Analysis of Computer Algorithms – A V Aho, J E Hopcroft, J D Ullman - 1974
2359 Monotone Complexity – Michelangelo Grigni , Michael Sipser - 1990
703 Introduction to Metamathematics – S Kleene - 1952
1082 A computing procedure for quantification theory – M DAVIS, H PUTNAM - 1960
571 1934-1935), “Untersuchungen Uber das logische Schliessen – Gerhard Gentzen