Digital Library
Close Browse articles from a journal
     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
 
 Koninklijke Bibliotheek - National Library of the Netherlands