Bitopological duality for algebras of Fitting's logic and natural duality extension.
- Published in:
- Acta Informatica, 2021, v. 58, n. 5, p. 571, doi. 10.1007/s00236-020-00384-5
- By:
- Publication type:
- Article
Works matching IS 00015903 AND DT 2021 AND VI 58 AND IP 5
Results: 4
1
2
Team bisimilarity, and its associated modal logic, for BPP nets.
- Published in:
- Acta Informatica, 2021, v. 58, n. 5, p. 529, doi. 10.1007/s00236-020-00377-4
- By:
- Publication type:
- Article
3
Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control.
- Published in:
- Acta Informatica, 2021, v. 58, n. 5, p. 497, doi. 10.1007/s00236-020-00374-7
- By:
- Publication type:
- Article
4
Complement for two-way alternating automata.
- Published in:
- Acta Informatica, 2021, v. 58, n. 5, p. 463, doi. 10.1007/s00236-020-00373-8
- By:
- Publication type:
- Article