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

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

doi:10.1007/s10009-021-00639-7

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Journal Article

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

MPS-Authors

/persons/resource/persons183227

Blanchette, Jasmin
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ć2021_Article_ExtendingABrainiacProverToLamb.pdf
(Publisher version), 458KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Vukmirović, P., Blanchette, J., Cruanes, S., & Schulz, S. (2022). Extending a Brainiac Prover to Lambda-Free Higher-Order Logic. International Journal on Software Tools for Technology Transfer (STTT), 24, 67-87. doi:10.1007/s10009-021-00639-7.

Cite as: https://hdl.handle.net/21.11116/0000-0009-2A64-8

Abstract

There is no abstract available