Armin Kühnemann

According to our database, Armin Kühnemann authored at least 15 papers between 1994 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Deaccumulation techniques for improving provability.

Jürgen Giesl, Armin Kühnemann, Janis Voigtländer

J. Log. Algebraic Methods Program., 2007

2006

The Substitution Vanishes.

Armin Kühnemann, Andreas Maletti

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Linear deterministic multi bottom-up tree transducers.

Zoltán Fülöp, Armin Kühnemann, Heiko Vogler

Theor. Comput. Sci., 2005

2004

Composition of functions with accumulating parameters.

Janis Voigtländer, Armin Kühnemann

J. Funct. Program., 2004

A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead.

Zoltán Fülöp, Armin Kühnemann, Heiko Vogler

Inf. Process. Lett., 2004

2003

Deaccumulation - Improving Provability.

Jürgen Giesl, Armin Kühnemann, Janis Voigtländer

Proceedings of the Advances in Computing Science, 2003

2001

Relating Accumulative and Non-accumulative Functional Programs.

Armin Kühnemann, Robert Glück, Kazuhiko Kakehi

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

Attribute grammars and program optimization - summer colloquium Waseda University, Tokyo, Japan, July 25 - August 2, 2000.

Armin Kühnemann

Waseda University, 2001

1999

Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers.

Armin Kühnemann

Proceedings of the Functional and Logic Programming, 4th Fuji International Symposium, 1999

1998

Benefits of Tree Transducers for Optimizing Functional Programs.

Armin Kühnemann

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997

Berechnungsstärken von Teilklassen primitiv-rekursiver Programmschemata.

Armin Kühnemann

PhD thesis, 1997

A Two-Dimensional Hierarchy for Attributed Tree Transducers.

Armin Kühnemann

Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997

1996

A Pumping Lemma for Output Languages of Macro Tree Transducers.

Armin Kühnemann

Proceedings of the Trees in Algebra and Programming, 1996

1994

A Pumping Lemma for Output Languages of Attributed Tree Transducers.

Armin Kühnemann, Heiko Vogler

Acta Cybern., 1994

Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic.

Armin Kühnemann, Heiko Vogler

Acta Informatica, 1994