Autor:	D. Lacombe, L. Nolin, M. Schützenberger, M. Laudet
Rok vydání:	1970
Předmět:	Computer science
Zdroj:	Lecture Notes in Mathematics ISBN: 9783540049142 Symposium on Automatic Demonstration
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::256502667bc0a5d21f9dbc5f2e477d51 https://doi.org/10.1007/bfb0060620 Zobrazit plný text záznamu