Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Seidl, H.
Finite tree automata with cost functionsTheoretical computer science. the journal of the EATCS. Bd. 126. H. 1. Amsterdam [u.a.]: Elsevier 1994
Seidl, H.
Haskell overloading is DEXPTIME-completeInformation processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 52. H. 2. Amsterdam [u.a.]: Elsevier 1994 S. 57 - 60
Fernau, Henning
Iterierte Funktionen, Sprachen und Fraktale.BI-Wiss.-Verlag 1994 S. 1 - 288
Bergmann, Ralph; Wilke, Wolfgang
Lernen von Abstraktionshierarchien zur Optimierung der Auswahl von maschinell abstrahierten Plänen.PuK. 1994 S. 34 - 45
Fernau, Henning
Membership for 1-Limited ET0L Languages Is Not Decidable.J. Inf. Process. Cybern. Bd. 30. H. 4. 1994 S. 191 - 211
Bergmann, Ralph; Paulokat, Jürgen; Schoeller, Anna-Maria et al.
PuK-94, 8. Workshop "Planen und Konfigrieren", 18.-19. April 1994, Kaiserslautern, ProceedingsUniversität und DFKI Kaiserslautern 1994
Ferdinand, C.; Seidl, H.; Wilhelm, R.
Tree automata for code selectionActa informatica. Bd. 31. H. 8. Berlin: Springer 1994 S. 741 - 760
Fernau, Henning; Staiger, Ludwig
Valuations and Unambiguity of Languages, with Applications to Fractal Geometry.ICALP. 1994 S. 11 - 22
Fernau, Henning
Adult Languages of Propagating Systems with Restricted Parallelism.J. Inf. Process. Cybern. Bd. 29. H. 5. 1993 S. 249 - 267
Ley, Michael
Ein Datenbankkern zur Speicherung variabel strukturierter Feature-Terme. Implementierungstechniken.Bd. 41. Infix Verlag, St. Augustin, Germany 1993 S. 1 - 263