Lean and Full Congruence Formats for Recursion.

Rob J. van Glabbeek

Published in: CoRR (2017)

Keyphrases

metadata
complex objects
deductive databases
transitive closure
datalog programs
artificial intelligence
multimedia
socio technical
databases
search engine
similarity measure
natural language
mobile devices
file formats