Publikacje

Czasopismo: Mathematical Structures In Computer Science

Liczba publikacji: 10

2016

• Diego Figueira, Piotr Hofman i Sławomir Lasota, Relating timed and register automata, Mathematical Structures In Computer Science 26 (6) 2016, s. 993–1021.zobacz w PBN

2014

• Stanisław Konrad Szawiel i Marek Witold Zawadowski, Theories of analytic monads, Mathematical Structures In Computer Science 2014.zobacz w PBN
• Mikołaj Bojańczyk, Stanisław Konrad Szawiel i Marek Witold Zawadowski, Rigidity is undecidable, Mathematical Structures In Computer Science 2014.zobacz w PBN
• Donald Sannella i Andrzej Tarlecki, Property-oriented semantics of structured specifications, Mathematical Structures In Computer Science 24 (2) 2014.zobacz w PBN

2011

• H. Hansen i Bartosz Klin, Pointwise extensions of GSOS-defined operations, Mathematical Structures In Computer Science 21 (2) 2011, s. 321–361.zobacz w PBN

2008

• Michel Bidoit, Donald Sannella i Andrzej Tarlecki, Observational interpretation of Casl specifications, Mathematical Structures In Computer Science 18 (2) 2008, s. 325–371.zobacz w PBN
• Jean Goubault-Larrecq, Sławomir Lasota i David Nowak, Logical Relations for Monadic Types, Mathematical Structures In Computer Science 18 (6) 2008, s. 1169–1217.zobacz w PBN
• Aleksy Schubert, On the building of affine retractions, Mathematical Structures In Computer Science 18 (4) 2008, s. 753–793.zobacz w PBN

2003

• Paweł Urzyczyn, A simple proof of undecidability of strong normalization, Mathematical Structures In Computer Science 13 2003, s. 5–13.zobacz w PBN

2000

• Jerzy Tyszkiewicz, Małgorzata Moczurad i Marek Zaionc, Statistical properties of simple types, Mathematical Structures In Computer Science 10 2000, s. 575–594.zobacz w PBN