|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Automata for unordered trees |
Boiret, Adrien |
2017 |
253 | P2 |
p. 304-335 32 p. |
article |
|
| 2 | Complexity of validity for propositional dependence logics |
Virtema, Jonni |
2017 |
253 | P2 |
p. 224-236 13 p. |
article |
|
| 3 | Editorial Board |
2017 |
253 | P2 |
p. i- 1 p. |
article |
||
| 4 | Editorial Board |
2017 |
253 | P2 |
p. IFC- 1 p. |
article |
||
| 5 | Games, Automata, Logics and Formal Verification (GandALF 2014) – Preface |
Peron, Adriano |
2017 |
253 | P2 |
p. 179-180 2 p. |
article |
|
| 6 | On parametric timed automata and one-counter machines |
Bundala, Daniel |
2017 |
253 | P2 |
p. 272-303 32 p. |
article |
|
| 7 | On the path-width of integer linear programming |
Enea, Constantin |
2017 |
253 | P2 |
p. 257-271 15 p. |
article |
|
| 8 | Parametric Linear Dynamic Logic |
Faymonville, Peter |
2017 |
253 | P2 |
p. 237-256 20 p. |
article |
|
| 9 | Petri games: Synthesis of distributed systems with causal memory |
Finkbeiner, Bernd |
2017 |
253 | P2 |
p. 181-203 23 p. |
article |
|
| 10 | Synthesis of deterministic top-down tree transducers from automatic tree relations |
Löding, Christof |
2017 |
253 | P2 |
p. 336-354 19 p. |
article |
|
| 11 | Visibly pushdown modular games, |
De Crescenzo, I. |
2017 |
253 | P2 |
p. 204-223 20 p. |
article |
11 results found