Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Number of items: 6.

Grigore, Radu, Tzevelekos, Nikos (2016) History-Register Automata. Logical Methods in Computer Science, 12 (1). pp. 1-32. ISSN 1860-5974. (doi:10.2168/lmcs-12(1:7)2016) (KAR id:54558)

Kahrs, Stefan (2010) Modularity of Convergence and Strong Convergence in Infinitary Rewriting. Logical Methods in Computer Science, 6 (3). pp. 182-196. (doi:10.2168/LMCS-6(3:18)2010) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30698)

Bocchi, Laura, Melgratti, Hernán, Tuosto, Emilio (2020) On Resolving Non-determinism in Choreographies. Logical Methods in Computer Science, 16 (3). 18:1-18:69. ISSN 1860-5974. (KAR id:83104)

Brauer, Jorg, King, Andy (2012) Transfer Function Synthesis without Quantifier Elimination (long version). Logical Methods in Computer Science, 8 (2012). (KAR id:30800)

Bocchi, Laura, Lange, Julien, Thompson, Simon, Voinea, Laura (2023) A model of actors and grey failures. Logical Methods in Computer Science, 19 (4). 13:1-13:29. ISSN 1860-5974. (doi:10.46298/lmcs-19(4:13)2023) (KAR id:112582)

Bocchi, Laura, Lanese, Ivan, Mezzina, Claudio Antares, Yuen, Shoji (2024) revTPL: The Reversible Temporal Process Language. Logical Methods in Computer Science, 20 (1). 11:1-11:35. ISSN 1860-5974. (doi:10.46298/lmcs-20(1:11)2024) (KAR id:108628)

This list was generated on Tue Jan 27 23:52:59 2026 GMT.