Autor der Publikation

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

Database Query Languages Embedded in the Typed Lambda Calculus, , und . LICS, Seite 332-343. IEEE Computer Society, (1993)Tools for Datalog Boundedness., , , und . PODS, Seite 1-12. ACM Press, (1991)A Query Language and Optimization Techniques for Unstructured Data., , , und . SIGMOD Conference, Seite 505-516. ACM Press, (1996)Functional Programming Formalisms for OODBMS Methods., , und . NATO ASI OODBS, Volume 130 von NATO ASI Series F: Computing and Systems Sciences, Seite 73-99. (1993)Space Usage in Functional Query Languages., und . ICDT, Volume 893 von Lecture Notes in Computer Science, Seite 439-454. Springer, (1995)Undecidable Boundedness Problems for Datalog Programs., , , und . J. Log. Program., 25 (2): 163-190 (1995)SFB 346 - Integrationstechnologien als Innovationsmotor für Maschinenbauanwendungen., , , , , und . GI Jahrestagung, Seite 185-194. Springer, (1997)Functional Database Query Languages as Typed Lambda Calculi of Fixed Order., und . PODS, Seite 222-231. ACM Press, (1994)An Analysis of the Core-ML Language: Expressive Power and Type Reconstruction., , und . ICALP, Volume 820 von Lecture Notes in Computer Science, Seite 83-105. Springer, (1994)Database Query Languages Embedded in the Typed Lambda Calculus., , und . Inf. Comput., 127 (2): 117-144 (1996)