Publications

Journal: Mathematical Structures in Computer Science

2021

• Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemiański , Languages of higher-dimensional automata, Mathematical Structures in Computer Science, 2021, p. 1-39. See in PBN

2016

• Sławomir Lasota , Diego Figueira, Piotr Hofman , Relating timed and register automata, Mathematical Structures in Computer Science, 2016. See in PBN

2014

• Donald Sannella, Andrzej Tarlecki , Property-oriented semantics of structured specifications, Mathematical Structures in Computer Science, 2014. See in PBN
• Mikołaj Bojańczyk , Stanisław Szawiel, Marek Zawadowski , Rigidity is undecidable, Mathematical Structures in Computer Science, 24 (6) 2014, p. 1-10. See in PBN

2008

• Jean Goubault-Larrecq, Sławomir Lasota , David Nowak, Logical Relations for Monadic Types, Mathematical Structures in Computer Science, 2008. See in PBN
• Michel Bidoit, Donald Sannella, Andrzej Tarlecki , Observational interpretation of Casl specifications, Mathematical Structures in Computer Science, 2008. See in PBN
• Aleksy Schubert , On the building of affine retractions, Mathematical Structures in Computer Science, 2008. See in PBN

2003

• Paweł Urzyczyn , A simple proof of undecidability of strong normalization, Mathematical Structures in Computer Science, 2003. See in PBN

2000

• Małgorzata Moczurad, Jerzy Tyszkiewicz , Marek Zaionc, Statistical properties of simple types, Mathematical Structures in Computer Science, 2000. See in PBN