Browse by Journal or other publication
Number of items: 2.
2021
Goubault, Éric and Ledent, Jérémy and Rajsbaum, Sergio (2021) A simplicial complex model for dynamic epistemic logic to study distributed task computability. Information and Computation, 278. 104597. ISSN 0890-5401
2009
Johann, Patricia and Voigtlander, Johann (2009) A family of syntactic logical relations for the semantics of Haskell-like languages. Information and Computation, 207 (2). pp. 341-368. ISSN 0890-5401