Informatikwissenschaften
FB IV - Wirtschafts- und Sozialwissenschaften, Mathematik, Informatikwissenschaften / Universität Trier
- 0651/
- 0651/
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.J. Autom. Lang. Comb. Bd. 1. H. 4. 1996 S. 243 - 245
Fernau, Henning
On Grammar and Language Families.Fundam. Informaticae. 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. 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)