 | 2007 |
|---|
| 13 |       | Jürgen Giesl,
Armin Kühnemann,
Janis Voigtländer:
Deaccumulation techniques for improving provability.
J. Log. Algebr. Program. 71(2): 79-113 (2007) |
| 2006 |
|---|
| 12 | | Armin Kühnemann,
Andreas Maletti:
The Substitution Vanishes.
AMAST 2006: 173-188 |
| 2005 |
|---|
| 11 | | Zoltán Fülöp,
Armin Kühnemann,
Heiko Vogler:
Linear deterministic multi bottom-up tree transducers.
Theor. Comput. Sci. 347(1-2): 276-287 (2005) |
| 2004 |
|---|
| 10 | | Zoltán Fülöp,
Armin Kühnemann,
Heiko Vogler:
A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead.
Inf. Process. Lett. 91(2): 57-67 (2004) |
| 9 | | Janis Voigtländer,
Armin Kühnemann:
Composition of functions with accumulating parameters.
J. Funct. Program. 14(3): 317-363 (2004) |
| 2003 |
|---|
| 8 | | Jürgen Giesl,
Armin Kühnemann,
Janis Voigtländer:
Deaccumulation - Improving Provability.
ASIAN 2003: 146-160 |
| 2001 |
|---|
| 7 | | Armin Kühnemann,
Robert Glück,
Kazuhiko Kakehi:
Relating Accumulative and Non-accumulative Functional Programs.
RTA 2001: 154-168 |
| 1999 |
|---|
| 6 |  | Armin Kühnemann:
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers.
Fuji International Symposium on Functional and Logic Programming 1999: 114-130 |
| 1998 |
|---|
| 5 | | Armin Kühnemann:
Benefits of Tree Transducers for Optimizing Functional Programs.
FSTTCS 1998: 146-157 |
| 1997 |
|---|
| 4 | | Armin Kühnemann:
A Two-Dimensional Hierarchy for Attributed Tree Transducers.
FCT 1997: 281-292 |
| 1996 |
|---|
| 3 | | Armin Kühnemann:
A Pumping Lemma for Output Languages of Macro Tree Transducers.
CAAP 1996: 44-58 |
| 1994 |
|---|
| 2 | | Armin Kühnemann,
Heiko Vogler:
A Pumping Lemma for Output Languages of Attributed Tree Transducers.
Acta Cybern. 11(4): 261-306 (1994) |
| 1 | | Armin Kühnemann,
Heiko Vogler:
Synthesized and Inherited Functions. A new Computational Model for Syntax-Directed Semantic.
Acta Inf. 31(5): 431-477 (1994) |
