512 search results - page 9 / 103 » Automata as Abstractions |
TSE
2008
14 years 10 months ago
2008
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
CONCUR
2012
Springer
13 years 2 months ago
2012
Springer
107
click to vote
FUIN
2002
14 years 11 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
14 years 12 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...