Publikacje

Czasopismo: 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, s. 1-39. Zobacz w PBN

2016

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

2014

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

2008

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

2003

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

2000

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