Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics

DOI10.1017/S0960129500000645zbMath0856.68098MaRDI QIDQ4847312

Michael Löwe, U. E. Wolter

Publication date: 17 February 1997

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

algebraic specificationspositive Horn formulas

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Related Items (1)

On abstract data types presented by multiequations

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics