Search results for: Armin Kühnemann
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers > 154-168
Lecture Notes in Computer Science > Foundations of Software Technology and Theoretical Computer Science > Session 4 > 146-157
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 173-188
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 146-160
Journal of Logic and Algebraic Programming > 2007 > 71 > 2 > 79-113
Theoretical Computer Science > 2005 > 347 > 1-2 > 276-287