35 search results - page 2 / 7 » stacs 2005 |
STACS
2005
Springer
14 years 28 days ago
2005
Springer
STACS
2005
Springer
14 years 28 days ago
2005
Springer
STACS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We show that for infinite transition systems induced by cryptographic protocols in the Rusinowitch/Turuani style certain fundamental branching properties are decidable. ...
STACS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. We address the problem of the density of intrinsically universal cellular automata among cellular automata or a subclass of cellular automata. We show that captive cellul...
STACS
2005
Springer
14 years 28 days ago
2005
Springer
Abstract. In this paper we determine some limit distributions of pattern statistics in rational stochastic models, defined by means of nondeterministic weighted finite automata. ...