Christoph Brzoska

According to our database, Christoph Brzoska authored at least 12 papers between 1989 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Programming in Metric Temporal Logic.

Christoph Brzoska

Theor. Comput. Sci., 1998

1996

Temporales logisches Programmieren.

Christoph Brzoska

Inform. Forsch. Entwickl., 1996

1995

Dependency Unification Grammar for PROLOG.

Friedrich Steimann, Christoph Brzoska

Comput. Linguistics, 1995

Temporal Logic Programming in Dense Time.

Christoph Brzoska

Proceedings of the Logic Programming, 1995

Temporal Logic Programming Applied to Image Sequence Evaluation.

Christoph Brzoska, Karl Schäfer

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1993

Temporal Logic Programming with Metric and Past Operators.

Christoph Brzoska

Proceedings of the Executable Modal and Temporal Logics, 1993

Temporal Logic Programming with Bounded Universal Modality Goals.

Christoph Brzoska

Proceedings of the Logic Programming, 1993

Temporal-logisches Programmieren.

Christoph Brzoska

PhD thesis, 1993

1992

Sprachen für KI-Anwendungen, Konzepte - Methoden - Implementierungen.

Christoph Brzoska, Michael Gollner

Künstliche Intell., 1992

1991

KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung.

Alexander Bockmayr, Christoph Brzoska, Peter Deussen, Igor Varsek

Inform. Forsch. Entwickl., 1991

Temporal Logic Programming and its Relation to Constraint Logic Programming.

Christoph Brzoska

Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

1989

Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung.

Alexander Bockmayr, Christoph Brzoska

Künstliche Intell., 1989