Etienne Paul

According to our database¹, Etienne Paul authored at least 5 papers between 1984 and 1992.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1992

A General Refutational Completeness Result for an Inference Procedure Based on Associative-Commutative Unification.

[BibT_eX]

J. Symb. Comput., 1992

1988

Exhaustive Analysis and Simulation for Distributed Systems, both Sides of the Same Coin.

[BibT_eX]

[DOI]

Distributed Comput., 1988

1986

On Solving the Equality Problem in Theories Defined by Horn Clauses.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986

1985

Equational Methods in First Order Predicate Calculus.

[BibT_eX]

[DOI]

J. Symb. Comput., 1985

1984

A New Interpretation of the Resolution Principle.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Automated Deduction, 1984