Published in: Theoretical Computer Science and General Issues ; 11202- SpringerLink ; Bücher

Published in: Mathematics Preprint Archive ; Vol. 2001, Issue 6, pp 881-916

Published in: Lecture notes in computer science ; 6859

Published in: Mathematics Preprint Archive ; Vol. 2003, Issue 2, pp 81-87

Published in: Mathematics Preprint Archive ; Vol. 2003, Issue 11, pp 153-167

Published in: Logical Methods in Computer Science, Volume 20, Issue 2 (2024)

Published in: Electronic Proceedings in Theoretical Computer Science, 305 (2019), Seite 50-65

Published in: Fundamenta Informaticae, 150 (2017) 3-4, Seite 379-406

Published in: Lecture Notes in Computer Science (2014), Seite 426-440

Published in: Electronic Proceedings in Theoretical Computer Science, 126 (2013), Seite 11-27

Published in: Algebra and Coalgebra in Computer Science (2011), Seite 130-144

Published in: Theoretical Computer Science, 412 (2011) 38, Seite 5025-5042

Published in: Electronic Notes in Theoretical Computer Science, 264 (2010) 2, Seite 83-103

Published in: The Journal of Logic and Algebraic Programming, 67 (2006) 1-2, Seite 87-113

Published in: Information and Computation, 204 (2006) 4, Seite 469-502

Published in: Electronic Notes in Theoretical Computer Science, 164 (2006) 1, Seite 3-26

Published in: Theoretical Computer Science, 327 (2004) 1-2, Seite 45-69