Search results for: Stefan Milius
Electronic Notes in Theoretical Computer Science > 2016 > 325 > C > 147-168
Applied Categorical Structures > 2016 > 24 > 5 > 663-701
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Algebraic Effects and Recursive Equations > 34-48
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Algebras > 152-166
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2007 > Iteration and Recursion > 240-252
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 293-312
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Categorical and Coalgebraic Methods > 312-327
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Algebraic Effects and Recursive Equations > 49-63
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 55-69
Theoretical Computer Science > 2015 > 604 > Complete > 102-126
Theoretical Computer Science > 2015 > 604 > Complete > 81-101
Journal of Computer and System Sciences > 2015 > 81 > 5 > 813-833
Applied Categorical Structures > 2015 > 23 > 4 > 609-641
Electronic Notes in Theoretical Computer Science > 2014 > 308 > Complete > 3-23
Science of Computer Programming > 2014 > 80 > Part A > 150-168
Electronic Notes in Theoretical Computer Science > 2013 > 298 > Complete > 257-282
Information and Computation > 2013 > 225 > Complete > 83-118