6 citations · 18 across the 10 of their papers we have counts for
Showing 2004Show all
2 papers · 1 filter
cs.PL2004★ 3 cited
Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version
Roberto Bagnara, Roberta Gori, Patricia M. Hill +1
Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the safe omission of the occu…
cs.DB2004
Enhancing the expressive power of the U-Datalog language
Elisa Bertino, Barbara Catania, Roberta Gori
U-Datalog has been developed with the aim of providing a set-oriented logical update language, guaranteeing update parallelism in the context of a Datalog-like language. In U-Datal…