A Comprehensive Framework for Saturation Theorem Proving

Waldmann, Uwe; Tourret, Sophie; Robillard, Simon; Blanchette, Jasmin

doi:10.1007/s10817-022-09621-7

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Zeitschriftenartikel

A Comprehensive Framework for Saturation Theorem Proving

MPG-Autoren

/persons/resource/persons45689

Waldmann, Uwe
Automation of Logic, MPI for Informatics, Max Planck Society;

/persons/resource/persons217397

Tourret, Sophie
Automation of Logic, MPI for Informatics, Max Planck Society;

/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)

Waldmann2022_Article_AComprehensiveFrameworkForSatu.pdf
(Verlagsversion), 612KB

Ergänzendes Material (frei zugänglich)

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

Zitation

Waldmann, U., Tourret, S., Robillard, S., & Blanchette, J. (2022). A Comprehensive Framework for Saturation Theorem Proving. Journal of Automated Reasoning, 66, 499-539. doi:10.1007/s10817-022-09621-7.

Zitierlink: https://hdl.handle.net/21.11116/0000-000A-9D8A-A

Zusammenfassung

Es ist keine Zusammenfassung verfügbar