Reducing Rewrite Properties to Properties on Ground Terms.

Alexander Lochmann

Published in: Arch. Formal Proofs (2022)

Keyphrases

image segmentation
multi agent
structural properties
desirable properties
databases
neural network
information retrieval
social networks
website
three dimensional
relational databases
special case
co occurrence
query optimization