Intuitionistic BV

DOI10.1007/978-3-032-06085-3_22MaRDI QIDQ6860370zbMATH OpenFDO

Authors Matteo Acclavio, Lutz Straßburger

Publication date 10 February 2026

Copyright license Creative Commons Attribution 4.0 International

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Intuitionistic BV

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6860370)