J. M. Cadiou

Publication Activity (10 Years)

Years Active: 1972-1990
Publications (10 Years): 0

Stanford University (PHD)

Education History

Stanford University

PHD

Publications

J. M. Cadiou
Information Technologies: The European Co-operation Approach to Research and Development. Forum Wissenschaft und Technik (1990)
J. M. Cadiou, Jean-Jacques Lévy
Mechanizable Proofs about Parallel Processes SWAT (1973)
J. M. Cadiou, Zohar Manna
Recursive definitions of partial functions and their computations. Proving Assertions About Programs (1972)