Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Giesl, Jürgen
Kühnemann, Armin
and
Voigtländer, Janis
2003.
Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation.
Vol. 2896,
Issue. ,
p.
146.
Giesl, Jürgen
Kühnemann, Armin
and
Voigtländer, Janis
2007.
Deaccumulation techniques for improving provability.
The Journal of Logic and Algebraic Programming,
Vol. 71,
Issue. 2,
p.
79.
KATSUMATA, SHIN-YA
and
NISHIMURA, SUSUMU
2008.
Algebraic fusion of functions with an accumulating parameter and its improvement.
Journal of Functional Programming,
Vol. 18,
Issue. 5-6,
p.
781.
Nakano, Keisuke
2009.
Composing Stack-Attributed Tree Transducers.
Theory of Computing Systems,
Vol. 44,
Issue. 1,
p.
1.
Matsuda, Kazutaka
Inaba, Kazuhiro
and
Nakano, Keisuke
2012.
Polynomial-time inverse computation for accumulative functions with multiple data traversals.
p.
5.
MORIHATA, AKIMASA
KAKEHI, KAZUHIKO
HU, ZHENJIANG
and
TAKEICHI, MASATO
2012.
Manipulating accumulative functions by swapping call-time and return-time computations.
Journal of Functional Programming,
Vol. 22,
Issue. 3,
p.
275.
Matsuda, Kazutaka
Inaba, Kazuhiro
and
Nakano, Keisuke
2012.
Polynomial-time inverse computation for accumulative functions with multiple data traversals.
Higher-Order and Symbolic Computation,
Vol. 25,
Issue. 1,
p.
3.
Badouel, E.
Tchougong, R.
Nkuimi-Jugnia, C.
and
Fotsing, B.
2013.
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition.
Theoretical Computer Science,
Vol. 480,
Issue. ,
p.
1.
Martínez, Mónica
and
Pardo, Alberto
2013.
A shortcut fusion approach to accumulations.
Science of Computer Programming,
Vol. 78,
Issue. 8,
p.
1121.
Filiot, Emmanuel
Maneth, Sebastian
Reynier, Pierre-Alain
and
Talbot, Jean-Marc
2015.
Automata, Languages, and Programming.
Vol. 9135,
Issue. ,
p.
209.
Filiot, Emmanuel
Maneth, Sebastian
Reynier, Pierre-Alain
and
Talbot, Jean-Marc
2018.
Decision problems of tree transducers with origin.
Information and Computation,
Vol. 261,
Issue. ,
p.
311.
Seidl, Helmut
Maneth, Sebastian
and
Kemper, Gregor
2018.
Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable.
Journal of the ACM,
Vol. 65,
Issue. 4,
p.
1.
Discussions
No Discussions have been published for this article.