Armin Kühnemann

Available identifiers

zbMath Open kuhnemann.arminMaRDI QIDQ882486

List of research outcomes

Publication	Date of Publication	Type
A pumping lemma for output languages of macro tree transducers	2023-02-23	Paper
A two-dimensional hierarchy for attributed tree transducers	2022-12-09	Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation	2009-08-11	Paper
A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead	2009-07-21	Paper
The Substitution Vanishes	2009-04-28	Paper
Deaccumulation techniques for improving provability	2007-05-23	Paper
Linear deterministic multi bottom-up tree transducers	2005-12-29	Paper
Composition of functions with accumulating parameters	2005-04-15	Paper
https://portal.mardi4nfdi.de/entity/Q3149665	2002-09-30	Paper
https://portal.mardi4nfdi.de/entity/Q2766775	2002-07-09	Paper
https://portal.mardi4nfdi.de/entity/Q4380987	1998-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q4345251	1997-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4318904	1995-02-06	Paper
Synthesized and inherited functions. A new computational model for syntax-directed semantics	1994-12-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Armin Kühnemann