Verified Given Clause Procedures

Blanchette, Jasmin; Qiu, Qi; Tourret, Sophie

doi:10.1007/978-3-031-38499-8_4

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

Verified Given Clause Procedures

MPS-Authors

/persons/resource/persons183227

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

/persons/resource/persons217397

Tourret, Sophie
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)

978-3-031-38499-8_4.pdf
(Publisher version), 367KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Blanchette, J., Qiu, Q., & Tourret, S. (2023). Verified Given Clause Procedures. In B. Pientka, & C. Tinelli (Eds.), Automated Deductions -- CADE 29 (pp. 61-77). Berlin: Springer.

Cite as: https://hdl.handle.net/21.11116/0000-000E-7573-D

Abstract

There is no abstract available