Sciweavers

759 search results - page 17 / 152
» Odometers on Regular Languages
Sort
View
WIA
2007
Springer
14 years 1 months ago
Efficient Enumeration of Regular Languages
Margareta Ackerman, Jeffrey Shallit
TACAS
2005
Springer
105views Algorithms» more  TACAS 2005»
14 years 27 days ago
Using Language Inference to Verify Omega-Regular Properties
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
STACS
2001
Springer
13 years 12 months ago
A Logical Approach to Decidability of Hierarchies of Regular Star-Free Languages
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
Victor L. Selivanov