Jean-Jacques Thiel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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]