 | 1998 |
|---|
| 12 |       | Christoph Brzoska:
Programming in Metric Temporal Logic.
Theor. Comput. Sci. 202(1-2): 55-125 (1998) |
| 1996 |
|---|
| 11 |  | Christoph Brzoska:
Temporales logisches Programmieren.
Inform., Forsch. Entwickl. 11(2): 61-68 (1996) |
| 1995 |
|---|
| 10 | | Christoph Brzoska:
Temporal Logic Programming in Dense Time.
ILPS 1995: 303-317 |
| 9 | | Christoph Brzoska,
Karl Schäfer:
Temporal Logic Programming Applied to Image Sequence Evaluation.
Logic Programming: Formal Methods and Practical Applications 1995: 381-395 |
| 8 | | Friedrich Steimann,
Christoph Brzoska:
Dependency Unification Grammar for PROLOG.
Computational Linguistics 21(1): 95-102 (1995) |
| 1993 |
|---|
| 7 | | Christoph Brzoska:
Temporal Logic Programming with Metric and Past Operators.
Executable Modal and Temporal Logics 1993: 21-39 |
| 6 | | Christoph Brzoska:
Temporal Logic Programming with Bounded Universal Modality Goals.
ICLP 1993: 239-256 |
| 5 | | Christoph Brzoska:
Temporal Logic Programming with Bounded Universal (Modality) Goals.
WLP 1993: 15-17 |
| 1992 |
|---|
| 4 | | Christoph Brzoska,
Michael Gollner:
Sprachen für KI-Anwendungen, Konzepte - Methoden - Implementierungen.
KI 6(4): 37-38 (1992) |
| 1991 |
|---|
| 3 | | Christoph Brzoska:
Temporal Logic Programming and its Relation to Constraint Logic Programming.
ISLP 1991: 661-677 |
| 2 | | Alexander Bockmayr,
Christoph Brzoska,
Peter Deussen,
Igor Varsek:
KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung.
Inform., Forsch. Entwickl. 6(3): 128-140 (1991) |
| 1989 |
|---|
| 1 | | Alexander Bockmayr,
Christoph Brzoska:
Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung.
KI 3(3): 17-19 (1989) |
