Sciweavers

433 search results - page 6 / 87
» On stabilizers of infinite words
Sort
View
81
Voted
TACAS
2005
Springer
86views Algorithms» more  TACAS 2005»
15 years 6 months ago
Complementation Constructions for Nondeterministic Automata on Infinite Words
Orna Kupferman, Moshe Y. Vardi
75
Voted
CONCUR
2006
Springer
15 years 4 months ago
Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words
Orna Kupferman, Sarai Sheinvald-Faragy
42
Voted
CORR
2010
Springer
75views Education» more  CORR 2010»
15 years 23 days ago
Rankers over Infinite Words
Luc Dartois, Manfred Kufleitner, Alexander Lauser
72
Voted
AML
2004
52views more  AML 2004»
15 years 16 days ago
Effectiveness for infinite variable words and the Dual Ramsey Theorem
We examine the Dual Ramsey Theorem and two related combinatorial principles VW(k, l) and OVW(k, l) from the perspectives of reverse mathematics and effective mathematics. We give a...
Joseph S. Miller, Reed Solomon