Congruence Closure in Intensional Type Theory.

Daniel Selsam Leonardo de Moura

Published in: CoRR (2017)

Keyphrases

theoretical basis
higher order
theoretical framework
three dimensional
data integration
metadata
case study
high level
database systems
query evaluation
theoretical foundation
formal theory