scientific article
From MaRDI portal
Publication:3766839
zbMath0629.68031MaRDI QIDQ3766839
No author found.
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
This page was built for publication:
