Search results for: Jiří Velebil
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 4 > 475-499
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 115-129
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 > Algebraic Effects and Recursive Equations > 49-63
Information and Computation > 2013 > 225 > Complete > 83-118
Applied Categorical Structures > 2013 > 21 > 4 > 349-377
Theoretical Computer Science > 2011 > 412 > 38 > 4969-4988
Information and Computation > 2010 > 208 > 12 > 1306-1348
Electronic Notes in Theoretical Computer Science > 2010 > 264 > 2 > 3-23
Electronic Notes in Theoretical Computer Science > 2009 > 249 > Complete > 407-427
Information and Computation > 2008 > 206 > 8 > 966-1002
Theoretical Computer Science > 2007 > 388 > 1-3 > 130-151
Electronic Notes in Theoretical Computer Science > 2006 > 164 > 1 > 157-175
Electronic Notes in Theoretical Computer Science > 2006 > 155 > Complete > 87-109
Journal of Pure and Applied Algebra > 2005 > 196 > 2-3 > 229-250
Electronic Notes in Theoretical Computer Science > 2005 > 122 > Complete > 147-170
Electronic Notes in Theoretical Computer Science > 2004 > 106 > Complete > 3-24
Applied Categorical Structures > 2003 > 11 > 6 > 521-541
Electronic Notes in Theoretical Computer Science > 2001 > 44 > 1 > 1-26