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