|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
4 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Bitopological duality for algebras of Fitting’s logic and natural duality extension |
Das, Litan Kumar |
|
58 | 5 |
p. 571-584 |
article |
|
| 2 | Complement for two-way alternating automata |
Geffert, Viliam |
|
58 | 5 |
p. 463-495 |
article |
|
| 3 | Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control |
Chen, Mingshuai |
|
58 | 5 |
p. 497-528 |
article |
|
| 4 | Team bisimilarity, and its associated modal logic, for BPP nets |
Gorrieri, Roberto |
|
58 | 5 |
p. 529-569 |
article |
4 results found