512 search results - page 9 / 103 » Automata as Abstractions |
109
Voted
TSE
2008
15 years 8 days ago
2008
108
Voted
LICS
2012
IEEE
13 years 4 months ago
2012
IEEE
123
Voted
FUIN
2002
15 years 1 months ago
2002
Abstract. We exhibit one-dimensional cellular automata whose reachability and confluence problems have arbitrary r.e. degree of unsolvability.
78
Voted
CORR
2010
Springer
15 years 1 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...