Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Keßler, Christoph W.; Seidl, Helmut
Integrating synchronous and asynchronous paradigms : the Fork95 parallel programming languageTrier: Fachbereich IV, Mathematik/Informatik, Univ. 1995 11 S. (Trierer Forschungsberichte ; 95,5)
Keßler, Christoph W.; Seidl, Helmut
Language support for synchronous parallel critical sectionsTrier: Univ., Mathematik/Informatik 1995 12 S. (Forschungsbericht ; 95-23)
Bergmann, Ralph; Wilke, Wolfgang
Learning Abstract Planning Cases.ECML. 1995 S. 55 - 76
Fernau, Henning; Bordihn, Henning
Remarks on accepting parallel systems.Int. J. Comput. Math. Bd. 56. H. 1-2. 1995 S. 51 - 67
Fernau, Henning
Valuations of Languages, with Applications to Fractal Geometry.Theor. Comput. Sci. Bd. 137. H. 2. 1995 S. 177 - 217
Fernau, Henning
Valuations, regular expressions, and fractal geometry.Appl. Algebra Eng. Commun. Comput. Bd. 7. H. 1. 1995 S. 59 - 75
Seidl, H.
Equivalence of Finite-Valued Tree Transducers Is DecidableMathematical systems theory. Bd. 27. H. 4. New York, NY: Springer 1994 S. 285 - 346
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.1994 S. 1 - 288