( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rule Rewriting Methods for Efficient Implementations of Horn Logic.

, и . Foundations of Logic and Functional Programming, том 306 из Lecture Notes in Computer Science, стр. 114-139. Springer, (1986)

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.

Barbara Saccà

Daniela Saccà Reuter

Alexander Saccaro

Domenico Laurendi

Domenico Lupo

 

Другие публикации лиц с тем же именем

CalcuList: a Functional Language Extended with Imperative Features., и . CoRR, (2018)Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic., и . ICLP, стр. 104-135. MIT Press, (1987)Properties of Database Schemata with Functional Dependencies., , и . PODS, стр. 19-28. ACM, (1984)NP Optimization Problems in Datalog., и . ILPS, стр. 181-195. MIT Press, (1997)Deterministic and Non-Deterministic Stable Model Semantics for Unbound DATALOG Queries.. ICDT, том 893 из Lecture Notes in Computer Science, стр. 353-367. Springer, (1995)Preface., , и . Business Process Management Workshops, том 4103 из Lecture Notes in Computer Science, стр. 77-79. Springer, (2006)Hierarchical binary histograms for summarizing multi-dimensional data., , , and . SAC, page 598-603. ACM, (2005)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)PUF-based Smart Tags for Supply Chain Management., , , , and . ARES, page 41:1-41:7. ACM, (2021)Partial Semantics for Disjunctive Deductive Databases., , and . DEXA, volume 1134 of Lecture Notes in Computer Science, page 564-573. Springer, (1996)