Equality and fixpoints in the calculus of structures.

Kaustuv Chaudhuri Nicolas Guenot

Published in: CSL-LICS (2014)

Keyphrases

fixpoint
logic programs
database query languages
artificial intelligence
information systems
neural network
case study
multiscale
deductive databases
structural features
computer algebra