Congruence Closure in Intensional Type Theory.

Daniel Selsam Leonardo de Moura

Published in: IJCAR (2016)

Keyphrases

theoretical framework
real time
databases
e learning
three dimensional
data sets
machine learning