Login / Signup
The untyped stack calculus and Bohm's theorem
Alberto Carraro
Published in:
LSFA (2012)
Keyphrases
</>
computer algebra
multiscale
digital topology
data sets
data mining
artificial intelligence
computer vision
multi agent
expert systems
von neumann
automated theorem proving
automated deduction
algebraic structure
interactive theorem proving