J. M. Cadiou

	1990
3		J. M. Cadiou: Information Technologies: The European Co-operation Approach to Research and Development. Forum Wissenschaft und Technik 1990: 1-9
	1973
2		J. M. Cadiou, Jean-Jacques Lévy: Mechanizable Proofs about Parallel Processes SWAT (FOCS) 1973: 34-48
	1972
1		J. M. Cadiou: Recursive definitions of partial functions and their computations. Univ. Stanford 1972: I-V, 1-157

Coauthor Index

1

Jean-Jacques Lévy

[2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page