Login / Signup

Extending a Brainiac Prover to Lambda-Free Higher-Order Logic.

Petar VukmirovicJasmin Christian BlanchetteSimon CruanesStephan Schulz
Published in: TACAS (1) (2019)
Keyphrases