For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

1 bis 15 von 15 Einträgen

Johann, P.; Voigtländer, J.: Free Theorems in the Presence of seq. In: 31st Symposium on Principles of Programming Languages - POPL'04, Venice, Italy, Proceedings, SIGPLAN Notices 39 (2004), S. 99–110

Voigtländer, J.; Kühnemann, A.: Composition of functions with accumulating parameters. In: Journal of Functional Programming 14 (2004), S. 317–363

Voigtländer, J.: Using Circular Programs to Deforest in Accumulating Parameters. In: Higher-Order and Symbolic Computation 17 (2004), S. 129–163

Borchardt, B.: A Pumping Lemma and Decidability Problems for Recognizable Tree Series. In: Acta Cybernetica 16 (2004), S. 509–544

Maletti, A.: Inclusion Diagrams for Classes of Deterministic Bottom-up Tree-to-Tree-Series Transformations. In: Technical Report TUD-FI04-07 (2004), S. 1–34

Vogler, H.: φ-Recognizable Formal Power Series are φ-Rational - An Alternative Proof. In: Technical Report TUD-FI04-06 (2004), S. 1–18

Voigtländer, J.: Formal Efficiency Analysis for Tree Transducer Composition. In: Technical Report TUD-FI04-08 (2004), S. 1–93

Maletti, A.: Relating Tree Series Transducers and Weighted Tree Automata. In: Proc. 8th Int. Conf. Developments in Language Theory, LNCS 3340 (2004), S. 321–333

Maletti, Andreas: Myhill-Nerode theorem for sequential transducers over unique GCD-monoids. In: Proceedings of the 9th International Conference on Implementation and Application of Automata, LNCS 3317 (2004), S. 323–324

Jürgensen, C.; Vogler, H.: Syntactic composition of top-down tree transducers is short cut fusion. In: Mathematical Structures in Computer Science 14 (2004), S. 215–282

Droste, M.; Vogler, H.: Weighted Automata: Theory and Applications. In: Technical Report TUD-FI04-05 (2004), S. 1–61

Fülöp, Z.; Gazdag, Zs.; Vogler, H.: Hierarchies of Tree Series Transformations. In: Theoretical Computer Science 314 (2004), S. 387–429

Fülöp, Z.; Kühnemann, A.; Vogler, H.: A Bottom-up Characterization of Deterministic Top-down Tree Transducers with Regular Look-Ahead. In: Information Processing Letters 91 (2004), S. 57–67

Pöschel, R.; Semigrodskikh, A.; Vogler, H.: On clones of tree functions closed under primitive recursion. In: Acta Cybernetica 16 (2004), S. 411–425

Fülöp, Z.; Vogler, H.: Weighted tree transducers. In: Journal of Automata, Languages and Combinatorics 9 (2004), S. 31–54

Diese Informationen werden vom FIS bereitgestellt.
Stand: 13.11.2019 13:34 Uhr