512 search results - page 9 / 103 » Automata as Abstractions |
124
Voted
TSE
2008
15 years 1 months ago
2008
122
Voted
CONCUR
2012
Springer
13 years 5 months ago
2012
Springer
136
Voted
FUIN
2002
15 years 3 months ago
2002
Abstract. We exhibit one-dimensional cellular automata whose reachability and confluence problems have arbitrary r.e. degree of unsolvability.
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The extension of the Wagner hierarchy to blind counter automata accepting infinite words with a Muller acceptance condition is effective. We determine precisely this hier...