Search results for: R. Heckel
Lecture Notes in Computer Science > CONCUR 2001 — Concurrency Theory > Logic and Compositionality > 502-518
Pediatric Rheumatology > 2016 > 14 > 1 > 1-16
Journal of Logic and Algebraic Programming > 2007 > 70 > 1 > 15-33
Fundamenta Informaticae > 2006 > Vol. 74, nr 1 > 63-84
Electronic Notes in Theoretical Computer Science > 2004 > 105 > Complete > 37-49
Fundamenta Informaticae > 2003 > Vol. 58, nr 1 > 1--22