Armin Kühnemann

15 papers B 1Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2007 J jnl
Deaccumulation techniques for improving provability.
J. Log. Algebraic Methods Program.
Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
2006 — conf
The Substitution Vanishes.
AMAST
Armin Kühnemann, Andreas Maletti
2005 J jnl
Linear deterministic multi bottom-up tree transducers.
Theor. Comput. Sci.
Zoltán Fülöp, Armin Kühnemann, Heiko Vogler
2004 J jnl
A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead.
Inf. Process. Lett.
Zoltán Fülöp, Armin Kühnemann, Heiko Vogler
2004 J jnl
Composition of functions with accumulating parameters.
J. Funct. Program.
Janis Voigtländer, Armin Kühnemann
2003 — conf
Deaccumulation - Improving Provability.
ASIAN
Jürgen Giesl, Armin Kühnemann, Janis Voigtländer
2001 — book
Attribute grammars and program optimization - summer colloquium Waseda University, Tokyo, Japan, July 25 - August 2, 2000.
Armin Kühnemann
2001 — conf
Relating Accumulative and Non-accumulative Functional Programs.
RTA
Armin Kühnemann, Robert Glück, Kazuhiko Kakehi
1999 — conf
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers.
Fuji International Symposium on Functional and Logic Programming
Armin Kühnemann
1998 — conf
Benefits of Tree Transducers for Optimizing Functional Programs.
FSTTCS
Armin Kühnemann
1997 B conf
A Two-Dimensional Hierarchy for Attributed Tree Transducers.
FCT
Armin Kühnemann
1997 — —
Berechnungsstärken von Teilklassen primitiv-rekursiver Programmschemata.
Armin Kühnemann
1996 — conf
A Pumping Lemma for Output Languages of Macro Tree Transducers.
CAAP
Armin Kühnemann
1994 J jnl
A Pumping Lemma for Output Languages of Attributed Tree Transducers.
Acta Cybern.
Armin Kühnemann, Heiko Vogler
1994 J jnl
Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic.
Acta Informatica
Armin Kühnemann, Heiko Vogler