Login / Signup
Extracting total Amb programs from proofs.
Ulrich Berger
Hideki Tsuiki
Published in:
CoRR (2021)
Keyphrases
</>
computer programs
database systems
theorem proving
automatic programming
artificial intelligence
data structure
evolutionary algorithm
theorem prover
intermediate level
automatically extracting
control structures
formal proofs
equational theories