35 search results - page 2 / 7 » stacs 2005 |
STACS
2005
Springer
15 years 3 months ago
2005
Springer
STACS
2005
Springer
15 years 3 months ago
2005
Springer
STACS
2005
Springer
15 years 3 months 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
15 years 3 months 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
15 years 3 months 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. ...