Autor der Publikation

Typed Norms for Typed Logic Programs.

, , und . LOPSTR, Volume 1207 von Lecture Notes in Computer Science, Seite 224-238. Springer, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Coupling hypertext and knowledge based systems: Two applications in the legal domain., und . Artif. Intell. Law, 2 (4): 293-314 (1993)Integrity Checking in Deductive Databases., , und . VLDB, Seite 61-69. Morgan Kaufmann, (1987)Database applications using Prolog by Robert Lucas, Ellis Horwood Ltd, 1988, pp 159, £19.95.. Knowledge Eng. Review, 4 (1): 79-80 (1989)Depth-k Sharing and Freeness., und . ICLP, Seite 553-568. MIT Press, (1994)Reducing Scheduling Overheads for Concurrent Logic Programs., und . PDK, Volume 567 von Lecture Notes in Computer Science, Seite 279-286. Springer, (1991)Compile-Time Analysis of Concurrent Logic Programs for Multi-processors., und . Dagstuhl Seminar on Parallelization in Inference Systems, Volume 590 von Lecture Notes in Computer Science, Seite 367. Springer, (1990)10.1007/3-540-55425-4_18.A Composite Approach to Meet the Needs of Legal Professionals., und . DEXA Workshop, Seite 371-376. IEEE Computer Society, (1996)Temporal Aspects of a Knowledge Based System for the Management of Hospital Patients., , und . DEXA, Seite 354-359. Springer, (1990)Combining the Strengths of Information Management Technologies to Meet the Needs of Legal Professionals., und . Journal of Information, Law and Technology, (1996)Serialisation Analysis of Concurrent Logic Programs., und . ALP, Volume 632 von Lecture Notes in Computer Science, Seite 322-334. Springer, (1992)