Search results for "68Q45"

Found 8 publication records. Showing 8 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
55	Libor Polák	Syntactic Semiring and Universal Automaton.	Developments in Language Theory	2003	DBLP DOI BibTeX RDF	syntactic semiring, universal automaton MSC 2000 Classification: 68Q45 Formal languages and automata
55	A. N. Trahtman	An Algorithm to Verify Local Threshold Testability of Deterministic Finite Automata.	WIA	1999	DBLP DOI BibTeX RDF	locally threshold testable, semigroup AMS subject classification 68Q25, 68Q68, 20M07, algorithm, deterministic finite automaton, 68Q45
28	Ondrej Klíma 0001, Libor Polák	Polynomial Operators on Classes of Regular Languages.	CAI	2009	DBLP DOI BibTeX RDF	positive varieties of languages, polynomial operators
27	Olivier Finkel	Topological complexity of locally finite omega -languages.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03D05, 03B15, 03C85, 03E15, 68Q45
27	Ondrej Klíma 0001, Libor Polák	Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups.	LATA	2008	DBLP DOI BibTeX RDF	MSC 2000 Classification 68Q45 Formal languages and automata
27	Gösta Grahne, Alex Thomo	Regular path queries under approximate semantics.	Ann. Math. Artif. Intell.	2006	DBLP DOI BibTeX RDF	68Q68, 68Q55, AMS subject classification 68P15, 68Q45
27	James D. Currie, Cameron W. Pierce	The Fixing Block Method in Combinatorics on Words.	Comb.	2003	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 05-XX, 68Q45
27	Karl-Heinz Niggl	Subrecursive functions on partial sequences.	Arch. Math. Log.	1999	DBLP DOI BibTeX RDF	Mathematics Subject Classification (1991): 03D15, 03D45, 03D65, 03D99, 68Q99, 68Q25, 68Q10, 68Q55, 68Q45, 03D20

Displaying result #1 - #8 of 8 (100 per page; Change: )