Search results for: Jakob Grue Simonsen
Fundamenta Informaticae > 2019 > Vol. 170, nr 4 > 339--365
Algebra universalis > 2018 > 79 > 2 > 1-21
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 199-214
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2005 > Papers > 757-768
Lecture Notes in Computer Science > Formal Modeling: Actors, Open Systems, Biological Systems > Computational Biology > 403-433
Information and Computation > 2011 > 209 > 6 > 893-926
Information and Computation > 2011 > 209 > 2 > 227-245
Theory of Computing Systems > 2011 > 48 > 2 > 297-318
Electronic Notes in Theoretical Computer Science > 2010 > 268 > Complete > 97-114
Theoretical Computer Science > 2009 > 410 > 47-49 > 4878-4891
Journal of Logic and Algebraic Programming > 2009 > 78 > 5 > 381-401
Information and Computation > 2006 > 204 > 6 > 957-988
International Journal on Software Tools for Technology Transfer > 2006 > 8 > 6 > 485-516
Information Processing Letters > 2004 > 91 > 3 > 141-146