Nummer | Autoren / Titel | erschienen |
Tr_9801 | Carsta Petersohn
Data and Control Flow Diagrams, Statecharts and Z: Their Formalization, Integration and Real-Time Extension | Dezember 1998 |
Tr_9802 | Hans-Joachim Klein
Gesicherte und mögliche Antworten auf Anfragen an relationale Datenbanken mit partiellen Relationen | Dezember 1998 |
Tr_9803 | Rudolf Berghammer, Yassine Lakhnech
Tool Support for System Specification, Development, and Verification : preliminary proceedings of a workshop, held in Malente, June 2 - 4, 1998 | Juni 1998 |
Tr_9804 | Claus Reinke
Functions, Frames, and Interactions-completing a lambda-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments | Mai 1998 |
Tr_9805 | Josef Pauli
Geometric/Photometric Consensus and Regular Shape Quasi-Invariants for Object Localization and Boundary Extraction | Mai 1998 |
Tr_9806 | Arnaud Maes
Decidability of the First-Order Theory of (IN;<,P) for Morphic Predicates P | Mai 1998 |
Tr_9807 | Oliver Matz
First-Order Closure and the Monadic Second-Order Alternation Hierarchy | Mai 1998 |
Tr_9808 | Barbara Leoniuk, Helmut Lescow, Wolfgang Thomas
Singleton Acceptance Conditions in omega-Automata | August 1998 |
Tr_9809 | Jörg Bruske
Dynamische Zellstrukturen - Theorie und Anwendung eines KNN-Modells | Juni 1998 |
Tr_9810 | Ina Schiering
Hierarchical Accepting Systems and Monadic Second-Order Logic on Graphs | Oktober 1998 |
Tr_9811 | Martin Dickhoefer, Thomas Wilke
The Automata-Theoretic Method Works for TCTL Model Checking | September 1998 |
Tr_9812 | Wolfgang Goerigk, Ulrich Hoffmann
Compiling ComLisp to Executable Machine Code: Compiler Construction | Oktober 1998 |
Tr_9813 | Josef Pauli
Manipulator and Head Servoing for Tool Handling and Object Inspection | November 1998 |
Tr_9814 | Ulrich Hoffmann
Compiler Implementation Verification Through Rigorous Syntactical Code Inspection | Dezember 1998 |
Statische URL | https://www.uni-kiel.de/journals/receive/jportal_jpvolume_00000575 |