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 |
Externí odkaz: |