Improved complement for two-way alternating automata.
- Published in:
- Acta Informatica, 2022, v. 59, n. 5, p. 619, doi. 10.1007/s00236-021-00414-w
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2022 AND VI 59 AND IP 5
Results: 5
1
2
A jumping 5′→3′ Watson–Crick finite automata model.
- Published in:
- Acta Informatica, 2022, v. 59, n. 5, p. 557, doi. 10.1007/s00236-021-00413-x
- By:
- Publication type:
- Article
3
Index appearance record with preorders.
- Published in:
- Acta Informatica, 2022, v. 59, n. 5, p. 585, doi. 10.1007/s00236-021-00412-y
- By:
- Publication type:
- Article
4
Correction to: Reactive synthesis without regret.
- Published in:
- Acta Informatica, 2022, v. 59, n. 5, p. 671, doi. 10.1007/s00236-021-00410-0
- By:
- Publication type:
- Article
5
Interface Automata for Shared Memory.
- Published in:
- Acta Informatica, 2022, v. 59, n. 5, p. 521, doi. 10.1007/s00236-021-00408-8
- By:
- Publication type:
- Article