Search results for: Yde Venema
Lecture Notes in Computer Science > Temporal Logic > 149-164
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 7-Track B. Logic > 381-392
Applied Categorical Structures > 2017 > 25 > 3 > 381-401
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 100-114
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 499-513
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Theory of Coalgebra > 81-96
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 394-408
Journal of Computer and System Sciences > 2015 > 81 > 5 > 880-900
Theoretical Computer Science > 2014 > 549 > Complete > 36-60
Annals of Pure and Applied Logic > 2010 > 162 > 1 > 55-82
Algebra universalis > 2007 > 57 > 2 > 143-193
Information and Computation > 2006 > 204 > 4 > 637-678
Annals of Pure and Applied Logic > 2005 > 131 > 1-3 > 65-102
Electronic Notes in Theoretical Computer Science > 2004 > 106 > Complete > 355-375