scientific article
From MaRDI portal
Publication:3789626
zbMath0646.08005MaRDI QIDQ3789626
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25) Congruence modularity, congruence distributivity (08B10)
This page was built for publication: