Works matching IS 14324350 AND DT 2021 AND VI 65 AND IP 4
Results: 6
The Containment Problem for Unambiguous Register Automata and Unambiguous Timed Automata.
- Published in:
- Theory of Computing Systems, 2021, v. 65, n. 4, p. 706, doi. 10.1007/s00224-020-09997-2
- By:
- Publication type:
- Article
Space Lower Bounds for the Signal Detection Problem.
- Published in:
- Theory of Computing Systems, 2021, v. 65, n. 4, p. 687, doi. 10.1007/s00224-020-09993-6
- By:
- Publication type:
- Article
First-Order Orbit Queries.
- Published in:
- Theory of Computing Systems, 2021, v. 65, n. 4, p. 638, doi. 10.1007/s00224-020-09976-7
- By:
- Publication type:
- Article
Token Sliding on Split Graphs.
- Published in:
- Theory of Computing Systems, 2021, v. 65, n. 4, p. 662, doi. 10.1007/s00224-020-09967-8
- By:
- Publication type:
- Article
Preface of STACS 2019 Special Issue.
- Published in:
- 2021
- By:
- Publication type:
- Editorial
Finite Sequentiality of Unambiguous Max-Plus Tree Automata.
- Published in:
- Theory of Computing Systems, 2021, v. 65, n. 4, p. 736, doi. 10.1007/s00224-020-10021-w
- By:
- Publication type:
- Article