Search results for: Janis Voigtländer
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 319-348
Lecture Notes in Computer Science > Functional and Constraint Logic Programming > Contributed Papers > 119-136
Lecture Notes in Computer Science > Rewriting Techniques and Applications > Regular Papers, Application Papers > 222-236
Lecture Notes in Computer Science > Functional and Logic Programming > Program Transformation > 163-179
Lecture Notes in Computer Science > Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation > 146-160
Acta Informatica > 2011 > 48 > 3 > 191-211
Information and Computation > 2009 > 207 > 2 > 341-368
Theoretical Computer Science > 2007 > 388 > 1-3 > 290-318
Journal of Logic and Algebraic Programming > 2007 > 71 > 2 > 79-113
Theory of Computing Systems > 2007 > 41 > 4 > 619-689
Higher-Order and Symbolic Computation > 2004 > 17 > 1-2 > 129-163