Armin Kühnemann

From MaRDI portal
Person:882486

Available identifiers

zbMath Open kuhnemann.arminMaRDI QIDQ882486

List of research outcomes





PublicationDate of PublicationType
A pumping lemma for output languages of macro tree transducers2023-02-23Paper
A two-dimensional hierarchy for attributed tree transducers2022-12-09Paper
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation2009-08-11Paper
A bottom-up characterization of deterministic top-down tree transducers with regular look-ahead2009-07-21Paper
The Substitution Vanishes2009-04-28Paper
Deaccumulation techniques for improving provability2007-05-23Paper
Linear deterministic multi bottom-up tree transducers2005-12-29Paper
Composition of functions with accumulating parameters2005-04-15Paper
https://portal.mardi4nfdi.de/entity/Q31496652002-09-30Paper
https://portal.mardi4nfdi.de/entity/Q27667752002-07-09Paper
https://portal.mardi4nfdi.de/entity/Q43809871998-03-18Paper
https://portal.mardi4nfdi.de/entity/Q43452511997-07-22Paper
https://portal.mardi4nfdi.de/entity/Q43189041995-02-06Paper
Synthesized and inherited functions. A new computational model for syntax-directed semantics1994-12-18Paper

Research outcomes over time

This page was built for person: Armin Kühnemann

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:882486&oldid=7872135"
Powered by MediaWiki