Jean-Marie Cadiou

According to our database1, Jean-Marie Cadiou authored at least 6 papers between 1972 and 1990.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1990
Information Technologies: The European Co-operation Approach to Research and Development.
Proceedings of the Forum '90 Wissenschaft und Technik, 1990

1988
Advanced Information Processing in ESPRIT - Status and Plans.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

1986
ESPRIT in action.
Future Gener. Comput. Syst., 1986

1973
Mechanizable Proofs about Parallel Processes
Proceedings of the 14th Annual Symposium on Switching and Automata Theory, 1973

1972
Recursive definitions of partial functions and their computations.
PhD thesis, 1972

Recursive definitions of partial functions and their computations.
Proceedings of ACM Conference on Proving Assertions About Programs, 1972


  Loading...