Pushout complements for partly total algebras

DOI10.1017/S0960129501003541zbMath1007.68123MaRDI QIDQ3146250

Mercè Llabrés, Peter Burmeister, Francesc Rosselló

Publication date: 11 September 2002

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

zbMATH Keywords

partly total algebras

Mathematics Subject Classification ID

Algebraic theory of languages and automata (68Q70)

Related Items (2)

The uniqueness condition for the double pushout transformation of algebras ⋮ Relating CASL with other specification languages: the institution level.

This page was built for publication: Pushout complements for partly total algebras