Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Fernau, Henning
On Unconditional Transfer.MFCS. 1996 S. 348 - 359
Fernau, Henning
Remarks on Propagating Partition-Limited ETOL Systems.J. Univers. Comput. Sci. Bd. 2. H. 11. 1996 S. 745 - 755
Keßler, Christoph W.
Scheduling expression DAGs for minimal register needTrier: Fachbereich IV, Mathematik, Informatik, Univ. 1996 16 S. (Trierer Forschungsberichte ; 96-12)
Damm, C.; Jukna, S.; Sgall, J.
Some Bounds on Multiparty Communication Complexity of Pointer JumpingLecture notes in computer science. Bd. 1046. Berlin: Springer 1996 S. 643 - 654
Meinel, Christoph; Slobodová, Anna
Speeding up variable reordering of OBDDsTrier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-40)
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