Login / Signup
E. Paul
Publication Activity (10 Years)
Years Active: 1984-1992
Publications (10 Years): 0
</>
Publications
</>
E. Paul
A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification.
J. Symb. Comput.
14 (6) (1992)
E. Paul
On Solving the Equality Problem in Theories Defined by Horn Clauses.
Theor. Comput. Sci.
44 (1986)
E. Paul
On Solving the Equality Problem in Theories Defined by Horn Clauses.
European Conference on Computer Algebra (2)
(1985)
E. Paul
Proofs by Inducting in Equational Theories with Relations Between Constructors.
CAAP
(1984)