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

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Zeitschriftenartikel

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

MPG-Autoren

/persons/resource/persons183227

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

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Vukmirović2021_Article_ExtendingABrainiacProverToLamb.pdf
(Verlagsversion), 458KB

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

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.

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

Zusammenfassung

Es ist keine Zusammenfassung verfügbar