scientific article
From MaRDI portal
Publication:4011708
zbMath0749.03016MaRDI QIDQ4011708
Peter Kempf, Rudolf Berghammer, Gunther Schmidt, Thomas Ströhlein
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (4)
Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ An algebraic approach to temporal logic ⋮ Algebraization of quantifier logics, an introductory overview ⋮ First order logic without equality on relativized semantics
This page was built for publication:
