Search the dblp DataBase
Christoph Brzoska :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Christoph Brzoska Temporal Logic Programming with Bounded Universal Modality Goals. [Citation Graph (0, 0)][DBLP ] ICLP, 1993, pp:239-256 [Conf ] Christoph Brzoska Temporal Logic Programming with Metric and Past Operators. [Citation Graph (0, 0)][DBLP ] Executable Modal and Temporal Logics, 1993, pp:21-39 [Conf ] Christoph Brzoska Temporal Logic Programming and its Relation to Constraint Logic Programming. [Citation Graph (0, 0)][DBLP ] ISLP, 1991, pp:661-677 [Conf ] Christoph Brzoska Temporal Logic Programming in Dense Time. [Citation Graph (0, 0)][DBLP ] ILPS, 1995, pp:303-317 [Conf ] Christoph Brzoska Temporal Logic Programming with Bounded Universal (Modality) Goals. [Citation Graph (0, 0)][DBLP ] WLP, 1993, pp:15-17 [Conf ] Friedrich Steimann , Christoph Brzoska Dependency Unification Grammar for PROLOG. [Citation Graph (0, 0)][DBLP ] Computational Linguistics, 1995, v:21, n:1, pp:95-102 [Journal ] Alexander Bockmayr , Christoph Brzoska , Peter Deussen , Igor Varsek KA-Prolog: Erweiterungen einer logischen Programmiersprache und ihre effiziente Implementierung. [Citation Graph (0, 0)][DBLP ] Inform., Forsch. Entwickl., 1991, v:6, n:3, pp:128-140 [Journal ] Christoph Brzoska Temporales logisches Programmieren. [Citation Graph (0, 0)][DBLP ] Inform., Forsch. Entwickl., 1996, v:11, n:2, pp:61-68 [Journal ] Alexander Bockmayr , Christoph Brzoska Bericht über den Workshop TEGA - Terersetzung: Grundlagen und Anwendung. [Citation Graph (0, 0)][DBLP ] KI, 1989, v:3, n:3, pp:17-19 [Journal ] Christoph Brzoska , Michael Gollner Sprachen für KI-Anwendungen, Konzepte - Methoden - Implementierungen. [Citation Graph (0, 0)][DBLP ] KI, 1992, v:6, n:4, pp:37-38 [Journal ] Christoph Brzoska Programming in Metric Temporal Logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:202, n:1-2, pp:55-125 [Journal ] Search in 0.001secs, Finished in 0.002secs