scientific article
From MaRDI portal
Publication:3320347
zbMath0536.03014MaRDI QIDQ3320347
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Basic properties of first-order languages and structures (03C07)