Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Seidl, Helmut
A modal m-calculus for durational transition systemsTrier: Univ., Mathematik/Informatik 1995 16 S. (Forschungsbericht ; 95-08)
Fernau, Henning
A Note on Uniformly Limited ETOL Systems with Unique Interpretation.Inf. Process. Lett. Bd. 54. H. 4. 1995 S. 199 - 204
Fernau, Henning
A predicate for separating language classes.Bull. EATCS. Bd. 56. 1995
Bordihn, Henning; Fernau, Henning
Accepting Grammars and Systems: An Overview.Developments in Language Theory. 1995 S. 199 - 208
Bergmann, R.; Wilke, W.
Building and Refining Abstract Planning Cases by Change of Representation LanguageThe journal of artificial intelligence research. JAIR. Bd. 3. San Francisco, Calif.: Morgan Kaufmann Publ. 1995 S. 53 - 118
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)