Christoph Brzoska

Publication Activity (10 Years)

Years Active: 1989-1998
Publications (10 Years): 0

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Christoph Brzoska
Programming in Metric Temporal Logic. Theor. Comput. Sci. 202 (1-2) (1998)
Christoph Brzoska
Temporales logisches Programmieren. Inform. Forsch. Entwickl. 11 (2) (1996)
Christoph Brzoska
Temporal Logic Programming in Dense Time. ILPS (1995)
Friedrich Steimann, Christoph Brzoska
Dependency Unification Grammar for PROLOG. Comput. Linguistics 21 (1) (1995)
Christoph Brzoska
Temporal Logic Programming with Bounded Universal Modality Goals. ICLP (1993)
Christoph Brzoska
Temporal Logic Programming with Metric and Past Operators. Executable Modal and Temporal Logics (1993)
Christoph Brzoska
Temporal Logic Programming with Bounded Universal (Modality) Goals. WLP (1993)
Christoph Brzoska, Michael Gollner
Sprachen für KI-Anwendungen, Konzepte - Methoden - Implementierungen. Künstliche Intell. 6 (4) (1992)
Christoph Brzoska
Temporal Logic Programming and its Relation to Constraint Logic Programming. ISLP (1991)
Alexander Bockmayr, Christoph Brzoska, Peter Deussen, Igor Varsek
KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. Inform. Forsch. Entwickl. 6 (3) (1991)
Alexander Bockmayr, Christoph Brzoska
Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung. Künstliche Intell. 3 (3) (1989)