Search results for: Georg Struth
Journal of Logical and Algebraic Methods in Programming > 2017 > 90 > C > 84-101
Theoretical Computer Science > 2016 > 655 > PB > 120-134
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 291-305
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 379-393
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 323-337
Journal of Logical and Algebraic Methods in Programming > 2016 > 85 > 4 > 617-636
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Theorem Proving and Rewriting > 617-632
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 647-660
Lecture Notes in Computer Science > Relational and Kleene-Algebraic Methods in Computer Science > Contributed Papers > 112-123
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 263-277
Lecture Notes in Computer Science > Relational Methods in Computer Science > Contributed Papers > 200-211