default search action
Journal of Computer and System Sciences, Volume 100
Volume 100, March 2019
- Filip Mazowiecki, Cristian Riveros:
Copyless cost-register automata: Structure, expressiveness, and closure properties. 1-29 - Igor Potapov, Pavel Semukhin:
Vector and scalar reachability problems in SL(2, Z). 30-43 - Douglas Burdick, Ronald Fagin, Phokion G. Kolaitis, Lucian Popa, Wang-Chiew Tan:
Expressive power of entity-linking frameworks. 44-69 - Yue Ben, Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan:
Decidable and expressive classes of probabilistic automata. 70-95 - Laurent Doyen, Thierry Massart, Mahsa Shirmohammadi:
The complexity of synchronizing Markov decision processes. 96-129
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.