scientific article
From MaRDI portal
Publication:2726302
zbMath0978.03012MaRDI QIDQ2726302
Publication date: 17 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear logicintuitionistic logicmodal logicsautomated theorem provingsequent calculimatrix-based proofsproof reconstruction algorithms
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
This page was built for publication: