English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
  Local TagsRelease HistoryDetailsSummary

Released
Conference Paper

An Isabelle/HOL Formalization of the SCL(FOL) Calculus

MPS-Authors
/persons/resource/persons117832

Bromberger,  Martin       
Automation of Logic, MPI for Informatics, Max Planck Society;

/persons/resource/persons271674

Desharnais,  Martin
Automation of Logic, MPI for Informatics, Max Planck Society;

/persons/resource/persons45719

Weidenbach,  Christoph       
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_7.pdf
(Publisher version), 426KB

Supplementary Material (public)
There is no public supplementary material available
Citation

Bromberger, M., Desharnais, M., & Weidenbach, C. (2023). An Isabelle/HOL Formalization of the SCL(FOL) Calculus. In B. Pientka, & C. Tinelli (Eds.), Automated Deductions -- CADE 29 (pp. 116-133). Berlin: Springer.


Cite as: https://hdl.handle.net/21.11116/0000-000E-7591-A
Abstract
There is no abstract available