Etienne Paul

According to our database, Etienne Paul authored at least 3 papers between 1984 and 1988.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1988

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

Ana R. Cavalli, Etienne Paul

Distributed Comput., 1988

1985

Equational Methods in First Order Predicate Calculus.

Etienne Paul

J. Symb. Comput., 1985

1984

A New Interpretation of the Resolution Principle.

Etienne Paul

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