scientific article

zbMATH Open0522.68026MaRDI QIDQ3673087FDOQ3673087

Johann A. Makowsky, Bernd Mahr

Publication date: 1983

Title of this publication is not available (Why is that?)

zbMATH Keywords

algebraic specificationinitial semanticsuniversal Horn sentences

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Model theory (03C99)

Cited In (4)

• Characterizing specification languages which admit initial semantics
• Why Horn formulas matter in computer science: initial structures and generic examples
• Data types over multiple-valued logics
• Conditional equational theories and complete sets of transformations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3673087)