scientific article; zbMATH DE number 1089458
From MaRDI portal
Publication:4366155
zbMath0889.03057MaRDI QIDQ4366155
Wendy MacCaull, Gerhard W. Dueck
Publication date: 12 May 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
propositional logicfinite modelsalgebraic semanticsmatrix modelssubstructural logicsisomorphism checking
This page was built for publication: