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

1 bis 11 von 11 Einträgen

Johann, P.; Voigtländer, J.: The Impact of seq on Free Theorems-Based Program Transformations. In: Fundamenta Informaticae 69 (1-2) (2006), S. 63–102

Maletti, A.: Hierarchies of tree series transformations revisited. In: Proceedings of DLT 2006, Lecture Notes in Computer Science 4036 (2006), S. 215–225

Maletti, A.: Compositions of tree series transformations. In: Theoret. Comput. Sci. 366(3) (2006), S. 248–271

Kühnemann, A.; Maletti, A.: The Substitution Vanishes. In: Proceedings of AMAST 2006, Lecture Notes in Computer Science 4019 (2006), S. 173–188

Borchardt, B.; Maletti, A.; Seselja, B.; Tepavcevic, A.; Vogler, H.: Cut sets as recognizable tree languages. In: Fuzzy Sets and Syst. 157(11) (2006), S. 1560–1571

Maletti, A.: Does o-substitution preserve recognizability? In: Proceedings of CIAA 2006, Lecture Notes in Computer Science 4094 (2006), S. 150–161

Voigtländer, J.; Johann, P.: Selective Strictness and Parametricity in Structural Operational Semantics. In: Technical Report TUD-FI06-02, Technische Universität Dresden (2006)

Fülöp, Z.; Vogler, H.: A Comparison of Several Models of Weighted Tree Automata. In: Technical Report TUD-FI06-08, Technische Universität Dresden (2006)

Maletti, A.: Pure and O-Substitution. In: Technical Report TUD-FI06-05, Technische Universität Dresden (2006)

Droste, Manfred; Vogler, Heiko: Weighted Logics for XML. In: manuscript (2006)

Droste, M.; Vogler, H.: Weighted tree automata and weighted logics. In: Theoretical Computer Science 366 (2006), S. 228–247


Diese Informationen werden vom FIS bereitgestellt.
Stand: 20.11.2019 22:26 Uhr