The LambdaMu-calculus.

Cristina Matache Victor B. F. Gomes Dominic P. Mulligan

Published in: Arch. Formal Proofs (2017)

Keyphrases

formal language
automated deduction
computer algebra
data mining
machine learning
computer vision
three dimensional
relational databases
automated theorem proving