Login / Signup
A Typed C11 Semantics for Interactive Theorem Proving.
Robbert Krebbers
Freek Wiedijk
Published in:
CPP (2015)
Keyphrases
</>
interactive theorem proving
higher order
formal semantics
logic programming
domain knowledge
semantic representation
databases
information retrieval
genetic algorithm
learning algorithm
social networks
case study
similarity measure
data structure
pairwise
semantic relationships