scientific article
From MaRDI portal
Publication:3954802
zbMath0492.68020MaRDI QIDQ3954802
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Theories (e.g., algebraic theories), structure, and semantics (18C10) Ordered structures (06F99) Other classes of algebras (08C99)
Related Items
The Birkhoff variety theorem for continuous algebras ⋮ Conditional rewriting logic: Deduction, models and concurrency ⋮ Absolutely definable varieties of continuous algebras ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ Axiomatisation des tests
