Thierry Conrad

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1988

4 Thierry Conrad: A Many Sorted PROLOG Based on Equational Unification. ECAI 1988: 305-307

3 Thierry Conrad: EQUATOR: a Many-Sorted Prolog based on Equational Unification. SPLT 1988: 171-184

1987

2 Thierry Conrad: Termes typés et termes globaux en Prolog. SPLT 1987: 119-130

1986

1 Thierry Conrad: Réarrangement de clauses Prolog. SPLT 1986: 345-

	1988
4		Thierry Conrad: A Many Sorted PROLOG Based on Equational Unification. ECAI 1988: 305-307
3		Thierry Conrad: EQUATOR: a Many-Sorted Prolog based on Equational Unification. SPLT 1988: 171-184
	1987
2		Thierry Conrad: Termes typés et termes globaux en Prolog. SPLT 1987: 119-130
	1986
1		Thierry Conrad: Réarrangement de clauses Prolog. SPLT 1986: 345-

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page