Logical Methods in Computer Science
Collection
Collection
- ISSN: 18605974
Published by Logical Methods in Computer Science e.V.
-
Coalgebraic Characterizations of Context-free Languages Article
Logical Methods in Computer Science, 9(3)J. Winter (Joost), M.M. Bonsangue (Marcello) and J.J.M.M. Rutten (Jan)
September 2013
-
Reductions to the set of random strings: The resource-bounded case Article
Logical Methods in Computer ScienceE. Allender, H.M. Buhrman (Harry), L. Friedman and B. S. Loff Barreto (Bruno Serra)
January 2014
-
Decidability problems for actor systems Article
Logical Methods in Computer Science, 10(4), 5:1-5:29.F.S. de Boer (Frank), M.M. Jaghoori (Mohammad Mahdi), C. Laneve (Cosimo) and G. Zavattaro (Gianluigi)
December 2014 -
Presenting Distributive Laws Article
Logical Methods in Computer Science, 11(3)M.M. Bonsangue (Marcello), H.H. Hansen (Helle), A. Kurz (Alexander) and J.C. Rot (Jurriaan)
January 2015
-
Stream differential equations: Specification formats and solution methods Article
Logical Methods in Computer Science, 13(1), 1-51.H.H. Hansen (Helle), C.A. Kupke (Clemens) and J.J.M.M. Rutten (Jan)
February 2017 -
Decreasing diagrams for confluence and commutation Article
Logical Methods in Computer Science, 16(1), 23:1-23:25.J. Endrullis (Jörg), J.W. Klop (Jan Willem) and R. Overbeek (Roy)
February 2020
-
Convexity and order in probabilistic call-by-name FPC Article
Logical Methods in Computer Science, 16(4), 10:1-10:25.November 2020
-
Star games and hydras Article
Logical Methods in Computer Science, 17(2), 20:1-20:32.J. Endrullis (Jörg), J.W. Klop (Jan Willem) and R. Overbeek (Roy)
January 2021