Author of the publication

Rule Rewriting Methods in the Implementation of the Logic Language LDL.

, and . DS-3, page 457-483. North-Holland, (1988)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Number of Minimal Hypergraph Transversals and Complexity of IFM with Infrequency: High in Theory, but Often Not so Much in Practice!, and . AI*IA, volume 11946 of Lecture Notes in Computer Science, page 193-209. Springer, (2019)Enhanced User Search Activity by Big Data Tools., , , and . SEBD, page 206-213. Matematicamente.it, (2016)Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic., and . ICLP, page 104-135. MIT Press, (1987)Properties of Database Schemata with Functional Dependencies., , and . PODS, page 19-28. ACM, (1984)CalcuList: a Functional Language Extended with Imperative Features., and . CoRR, (2018)Hierarchical binary histograms for summarizing multi-dimensional data., , , and . SAC, page 598-603. ACM, (2005)A Logic-Based Formalism to Model and Analyze Workflow Executions., , and . CAiSE Short Paper Proceedings, volume 74 of CEUR Workshop Proceedings, CEUR-WS.org, (2003)An Overview of the Endless Battle between Virus Writers and Detectors: How Compilers Can Be Used as an Evasion Technique., , and . DATA, page 203-208. SciTePress, (2019)Extending Logic Programming., , and . SIGMOD Conference, page 184-193. ACM Press, (1990)SIGMOD Record 19(2), June 1990.Smart Data Exchange., , , , and . SEBD, volume 2646 of CEUR Workshop Proceedings, page 24-31. CEUR-WS.org, (2020)