scientific article
From MaRDI portal
Publication:3674662
zbMath0523.03054MaRDI QIDQ3674662
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
dynamic algebrascylindric algebrasmany-sorted algebrasscheme of equationssimilarity type of algebras
Specification and verification (program logics, model checking, etc.) (68Q60) Other algebras related to logic (03G25) Logical aspects of Boolean algebras (03G05) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (2)
Dynamic algebras with test ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability
This page was built for publication:
