|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | AUTHOR INDEX VOLUME 150 |
Baelde, David |
2017 |
150 | 3-4 |
p. 451-452 |
artikel |
|
| 2 | CoCaml: Functional Programming with Regular Coinductive Types |
Jeannin, Jean-Baptiste |
2017 |
150 | 3-4 |
p. 347-377 |
artikel |
|
| 3 | From Branching to Linear Time, Coalgebraically |
Cîrstea, Corina |
2017 |
150 | 3-4 |
p. 379-406 |
artikel |
|
| 4 | Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion |
Milius, Stefan |
2017 |
150 | 3-4 |
p. 407-449 |
artikel |
|
| 5 | Infinitary Axiomatization of the Equational Theory of Context-Free Languages |
Grathwohl, Niels Bjørn Bugge |
2017 |
150 | 3-4 |
p. 241-257 |
artikel |
|
| 6 | Non-monotonic Pre-fix Points and Learning |
Berardi, Stefano |
2017 |
150 | 3-4 |
p. 259-280 |
artikel |
|
| 7 | Pebble Games with Algebraic Rules* |
Dawar, Anuj |
2017 |
150 | 3-4 |
p. 281-316 |
artikel |
|
| 8 | Preface |
Baelde, David |
2017 |
150 | 3-4 |
p. i-ii |
artikel |
|
| 9 | Łukasiewicz μ-calculus |
Mio, Matteo |
2017 |
150 | 3-4 |
p. 317-346 |
artikel |
9 gevonden resultaten