Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Bergmann, Ralph; Wilke, Wolfgang
Building and Refining Abstract Planning Cases by Change of Representation Language.J. Artif. Intell. Res. Bd. 3. 1995 S. 53 - 118
Ley, Michael
DB&LP: A WWW Bibliography on Databases and Logic ProgrammingCompulog Newsletter. 1995
Damm, Carsten; Holzer, Markus; Rossmanith, Peter
Expressing uniformity via oraclesTrier: Univ., Mathematik/Informatik 1995 12 S. (Forschungsbericht ; 95-01)
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