Institut für Informatik
FB 4: Informatik / Universität Koblenz
- 0261/287 - 2720
- 0261/287 - 2721
Jürjens, Jan
Secure Information Flow for Concurrent ProcessesCatuscia Palamidessi (Hrsg). CONCUR 2000 - Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings. Berlin: Springer 2000 S. 395 - 409
Baumgartner, Peter
Session 4: FDPLL - A First Order Davis-Putnam-Longeman-Loveland ProcedureLecture notes in computer science. Bd. 1831. Berlin: Springer 2000 S. 200 - 219
Kschischo, Maik
Statistical methods of biological sequence aligmentPotsdam: Universität Potsdam 2000
Rosendahl, M.; Brunet, D.
Steps toward a Relational 3D System´Brunet,P., Hoffmann, C., Roller,D. (Hrsg). CAD Tools and Algorithms for Product Design. Springer Verlag 2000
Murray, Jan; Obst, Oliver; Stolzenburg, Frieder
Team Descriptions - Simulation League - RoboLog KoblenzLecture notes in computer science. Bd. 1856. Berlin: Springer 2000 S. 628 - 631
Stolzenburg, Frieder; Obst, Oliver; Murray, Jan et al.
Technical Papers - Spatial Agents Implemented in a Logical Expressible LanguageLecture notes in computer science. Bd. 1856. Berlin: Springer 2000 S. 481 - 494
Murray, Jan; Obst, Oliver; Stolzenburg, Frieder
Towards a logical approach for soccer agents engineeringKoblenz-Landau: Univ., Inst. für Informatik 2000 0 S. (Fachberichte Informatik ; 6/2000)
Beuster, G.; Thomas, B.; Wolff, C.
Ubiquitous Web Information AgentsEuropean Conference on Aritifical Intelligence - Workshop on Artificial Intelligence In Mobile Systems. 2000
Baumgartner, Peter; Eisinger, Norbert; Furbach, Ulrich
A Confluent Connection CalculusHarald Ganzinger (Hrsg). Automated Deduction - CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings. Bd. 1632. Berlin: Springer 1999 S. 329 - 343
Stolzenburg, Frieder
An Algorithm for General Set Unification and Its ComplexityJournal of automated reasoning. Bd. 22. H. 1. Dordrecht [u.a.]: Springer 1999 S. 45 - 64