Jean-Jacques Thiel

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1990

2 Azeddine Lazrek, Pierre Lescanne, Jean-Jacques Thiel: Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness Inf. Comput. 84(1): 47-70 (1990)

1984

1 Jean-Jacques Thiel: Stop Losing Sleep Over Incomplete Data Type Specifications. POPL 1984: 76-82

1990
2		Azeddine Lazrek, Pierre Lescanne, Jean-Jacques Thiel: Tools for Proving Inductive Equalities, Relative Completeness, and omega-Completeness Inf. Comput. 84(1): 47-70 (1990)
1984
1		Jean-Jacques Thiel: Stop Losing Sleep Over Incomplete Data Type Specifications. POPL 1984: 76-82

Coauthor Index

1 Azeddine Lazrek [2]

2 Pierre Lescanne [2]