Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
Seidl, H.
Fast and simple nested fixpointsInformation processing letters. devoted to the rapid publication of short contributions to information processing. Bd. 59. H. 6. Amsterdam [u.a.]: Elsevier 1996 S. 303 - 308
Seidl, H.
Integer Constraints to Stop DeforestationLecture notes in computer science. Bd. 1058. Berlin: Springer 1996 S. 326 - 340
Bergmann, R.; Wilke, .W.S.; Wilke, S
Integrating General Knowledge with Object-Oriented Case Representation and Reasoning4th German Workshop: Case-Based Reasoning - System Development and Evaluation 1996, Humboldt-University Berlin. 1996
Meinel, Christoph; Somenzi, Fabio; Theobald, Thorsten
Linear sifting of decision diagramsTrier: Univ., Mathematik/Informatik 1996 10 S. (Trierer Forschungsberichte ; 96-42)
Fernau, Henning
Membership for k-Limited ET0L Languages Is Not Decidable.Journal of Automata, Languages and Combinatorics. Bd. 1. H. 4. 1996 S. 243 - 246
Fernau, Henning
On Grammar and Language Families.Fundam. Inform. Bd. 25. H. 1. 1996 S. 17 - 34
Bergmann, Ralph; Wilke, Wolfgang
On the Role of Abstraction in Case-Based Reasoning.EWCBR. 1996 S. 28 - 43
Fernau, Henning
On Unconditional Transfer.MFCS. 1996 S. 348 - 359
Fernau, Henning
Remarks on Propagating Partition-Limited ETOL Systems.J. UCS. 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)