Jean-Jacques Thiel

According to our database, Jean-Jacques Thiel authored at least 2 papers between 1984 and 1990.

Collaborative distances:

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

1990

Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness

Azeddine Lazrek, Pierre Lescanne, Jean-Jacques Thiel

Inf. Comput., January, 1990

1984

Stop Losing Sleep Over Incomplete Data Type Specifications.

Jean-Jacques Thiel

Proceedings of the Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984