Search results for "DOL-systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
44	Tom Head	Adherence Equivalence Is Decidable for DOL Languages.	STACS	1984	DBLP DOI BibTeX RDF
43	K. G. Subramanian 0001, Do Long Van, Rani Siromoney	On Ambiguity of DTOL Systems.	FSTTCS	1987	DBLP DOI BibTeX RDF
42	Karel Culík II, Ivan Fris	The Sequence Equivalence Problem for D0L Systems is Decidable.	ICALP	1977	DBLP DOI BibTeX RDF
36	Christian Choffrut	Iterated Substitutions and Locally Catanative Systems: A Decidability Result in the Binary Case.	ICALP	1990	DBLP DOI BibTeX RDF	substitutions in the free monoids, DOL-systems, DOL-sequences, linear recurrence equations, locally catenative systems, finite deciphering delay of codes, equations in words
27	Mária Králová	A note on the ratio function in DOL Systems.	IMYCS	1986	DBLP DOI BibTeX RDF
27	Karel Culík II, Tero Harju	The omega-Sequence Problem for DOL Systems Is Decidable.	J. ACM	1984	DBLP DOI BibTeX RDF
27	Juhani Karhumäki	On the Equivalence Problem for Binary DOL Systems.	ICALP	1982	DBLP DOI BibTeX RDF
27	Juhani Karhumäki	On the Equivalence Problem for Binary DOL Systems	Inf. Control.	1981	DBLP DOI BibTeX RDF
27	Karel Culík II, Tero Harju	The omega-Sequence Equivalence Problem for DOL Systems Is Decidable	STOC	1981	DBLP DOI BibTeX RDF
27	Karel Culík II	The Ultimate Equivalence Problem for DOL Systems.	Acta Informatica	1978	DBLP DOI BibTeX RDF
27	Karel Culík II, Ivan Fris	The Decidability of the Equivalence Problem for DOL-Systems	Inf. Control.	1977	DBLP DOI BibTeX RDF
27	Paul M. B. Vitányi	Digraphs Associated with DOL Systems.	Automata, Languages, Development	1975	DBLP BibTeX RDF
27	Jean Berstel, Mogens Nielsen	The Growth Range Equivalence Problem for DOL Systems is Decidable.	Automata, Languages, Development	1975	DBLP BibTeX RDF