|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
9 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | AUTHOR INDEX VOLUME 150 |
Baelde, David |
2017 |
150 | 3-4 |
p. 451-452 |
article |
|
| 2 | CoCaml: Functional Programming with Regular Coinductive Types |
Jeannin, Jean-Baptiste |
2017 |
150 | 3-4 |
p. 347-377 |
article |
|
| 3 | From Branching to Linear Time, Coalgebraically |
Cîrstea, Corina |
2017 |
150 | 3-4 |
p. 379-406 |
article |
|
| 4 | Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion |
Milius, Stefan |
2017 |
150 | 3-4 |
p. 407-449 |
article |
|
| 5 | Infinitary Axiomatization of the Equational Theory of Context-Free Languages |
Grathwohl, Niels Bjørn Bugge |
2017 |
150 | 3-4 |
p. 241-257 |
article |
|
| 6 | Non-monotonic Pre-fix Points and Learning |
Berardi, Stefano |
2017 |
150 | 3-4 |
p. 259-280 |
article |
|
| 7 | Pebble Games with Algebraic Rules* |
Dawar, Anuj |
2017 |
150 | 3-4 |
p. 281-316 |
article |
|
| 8 | Preface |
Baelde, David |
2017 |
150 | 3-4 |
p. i-ii |
article |
|
| 9 | Łukasiewicz μ-calculus |
Mio, Matteo |
2017 |
150 | 3-4 |
p. 317-346 |
article |
9 results found