scientific article
From MaRDI portal
Publication:3673087
zbMath0522.68026MaRDI QIDQ3673087
Johann A. Makowsky, Bernd Mahr
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Model theory (03C99) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items (4)
Why Horn formulas matter in computer science: initial structures and generic examples ⋮ Conditional equational theories and complete sets of transformations ⋮ Data types over multiple-valued logics ⋮ Characterizing specification languages which admit initial semantics
This page was built for publication:
