Definability in the Monadic Second-Order Theory of Successor

Autor:	Buchi, J. Richard, Landweber, Lawrence H.
Rok vydání:	1967
Předmět:	Computer Sciences
Zdroj:	Department of Computer Science Technical Reports
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=od_______540::e006bee2e50bfd118021c32fd72d8262 https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=1095&context=cstech Zobrazit plný text záznamu