Une charpente de semi-unification

Autor: Jean-Louis Durieux, Emmanuel Saint-James
Rok vydání: 1988
Předmět:
Zdroj: RAIRO - Theoretical Informatics and Applications. 22:173-226
ISSN: 1290-385X
0988-3754
DOI: 10.1051/ita/1988220201731
Databáze: OpenAIRE