Autor der Publikation

Rule Rewriting Methods for Efficient Implementations of Horn Logic.

, und . Foundations of Logic and Functional Programming, Volume 306 von Lecture Notes in Computer Science, Seite 114-139. Springer, (1986)

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

Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic., und . ICLP, Seite 104-135. MIT Press, (1987)NP Optimization Problems in Datalog., und . ILPS, Seite 181-195. MIT Press, (1997)Hierarchical binary histograms for summarizing multi-dimensional data., , , und . SAC, Seite 598-603. ACM, (2005)Enhanced User Search Activity by Big Data Tools., , , und . SEBD, Seite 206-213. Matematicamente.it, (2016)CalcuList: a Functional Language Extended with Imperative Features., und . CoRR, (2018)Properties of Database Schemata with Functional Dependencies., , und . PODS, Seite 19-28. ACM, (1984)Preface., , und . Business Process Management Workshops, Volume 4103 von Lecture Notes in Computer Science, Seite 77-79. Springer, (2006)Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries.. ICDT, Volume 893 von Lecture Notes in Computer Science, Seite 353-367. Springer, (1995)Number of Minimal Hypergraph Transversals and Complexity of IFM with Infrequency: High in Theory, but Often Not so Much in Practice!, und . AI*IA, Volume 11946 von Lecture Notes in Computer Science, Seite 193-209. Springer, (2019)Big data: a research agenda., , und . IDEAS, Seite 198-203. ACM, (2013)