Lean and full congruence formats for recursion.

Rob J. van Glabbeek

Published in: LICS (2017)

Keyphrases

metadata
complex objects
multimedia
socio technical
transitive closure
datalog programs
information retrieval
artificial intelligence
data streams
multi agent systems
lower bound
relational databases
special case
file formats