Etienne Paul

	1988
3		Ana R. Cavalli, Etienne Paul: Exhaustive Analysis and Simulation for Distributed Systems, both Sides of the Same Coin. Distributed Computing 2(4): 213-225 (1988)
	1985
2		Etienne Paul: Equational Methods in First Order Predicate Calculus. J. Symb. Comput. 1(1): 7-29 (1985)
	1984
1		Etienne Paul: A New Interpretation of the Resolution Principle. CADE 1984: 333-355

Coauthor Index

1

Ana R. Cavalli

[3]