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

Vukmirović, Petar; Blanchette, Jasmin Christian; Cruanes, Simon; Schulz, Stephan

doi:10.1007/978-3-030-17462-0_11

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

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

MPS-Authors

/persons/resource/persons183227

Blanchette, Jasmin Christian
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

Vukmirović2019_Chapter_ExtendingABrainiacProverToLamb.pdf
(Publisher version), 386KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Vukmirović, P., Blanchette, J. C., Cruanes, S., & Schulz, S. (2019). Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 192-210). New York, NY: Springer. doi:10.1007/978-3-030-17462-0_11.

Cite as: https://hdl.handle.net/21.11116/0000-0004-0326-E

Abstract

There is no abstract available