scientific article; zbMATH DE number 1114336
From MaRDI portal
Publication:4376052
zbMath0887.03013MaRDI QIDQ4376052
Publication date: 8 February 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
free algebrastructurally completebimodal logiclocally finitedecidable universal theoryfinite bases for admissible inference rules
This page was built for publication: