Armin Kühnemann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A pumping lemma for output languages of macro tree transducers Trees in Algebra and Programming — CAAP '96	2023-02-23	Paper
A two-dimensional hierarchy for attributed tree transducers Fundamentals of Computation Theory	2022-12-09	Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation Lecture Notes in Computer Science	2009-08-11	Paper
A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead Information Processing Letters	2009-07-21	Paper
The Substitution Vanishes Algebraic Methodology and Software Technology	2009-04-28	Paper
Deaccumulation techniques for improving provability The Journal of Logic and Algebraic Programming	2007-05-23	Paper
Linear deterministic multi bottom-up tree transducers Theoretical Computer Science	2005-12-29	Paper
Composition of functions with accumulating parameters Journal of Functional Programming	2005-04-15	Paper
scientific article; zbMATH DE number 1808202 (Why is no real title available?)	2002-09-30	Paper
scientific article; zbMATH DE number 1696590 (Why is no real title available?)	2002-07-09	Paper
scientific article; zbMATH DE number 1130215 (Why is no real title available?)	1998-03-18	Paper
scientific article; zbMATH DE number 1037482 (Why is no real title available?)	1997-07-22	Paper
scientific article; zbMATH DE number 709440 (Why is no real title available?)	1995-02-06	Paper
Synthesized and inherited functions. A new computational model for syntax-directed semantics Acta Informatica	1994-12-18	Paper

Research outcomes over time

This page was built for person: Armin Kühnemann