Thierry Conrad

According to our database¹, Thierry Conrad authored at least 5 papers between 1986 and 1988.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1988

Sorts are nothing but functions: an equational approach to sorts for logic programming

[BibT_eX]

[DOI]

Forschungsberichte, TU Munich, 1988

EQUATOR: a Many-Sorted Prolog based on Equational Unification.

[BibT_eX]

Proceedings of the SPLT'88, 1988

A Many Sorted PROLOG Based on Equational Unification.

[BibT_eX]

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1987

Termes typés et termes globaux en Prolog.

[BibT_eX]

Proceedings of the SPLT'87, 1987

1986

Réarrangement de clauses Prolog.

[BibT_eX]

Proceedings of the SPLT'86, 1986