Infinite and Bi-infinite Words with Decidable Monadic Theories

Autor:	Dietrich Kuske, Jiamou Liu, Anastasia Moskvina
Jazyk:	angličtina
Rok vydání:	2018
Předmět:	computer science - logic in computer science computer science - formal languages and automata theory Logic BC1-199 Electronic computers. Computer science QA75.5-76.95
Zdroj:	Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
Druh dokumentu:	article
ISSN:	1860-5974
DOI:	10.23638/LMCS-14(3:9)2018
Popis:	We study word structures of the form $(D,
Databáze:	Directory of Open Access Journals
Externí odkaz:	https://doaj.org/article/1b50d6d5c92e4ebd807a7931c16fbe8d Zobrazit plný text záznamu View record in DOAJ