scientific article
From MaRDI portal
Publication:3138859
zbMath0789.08003MaRDI QIDQ3138859
Publication date: 11 November 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
model theorypartial algebrascategory theorylogicuniversal algebraabstract data typesmany-sorted algebras
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Partial algebras (08A55) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01)
Related Items (15)
On the Algebraic Structure of Conditional Events ⋮ Unitary Theories, Unitary Categories ⋮ Binding in Nominal Equational Logic ⋮ A Term-Graph Syntax for Algebras over Multisets ⋮ Characteristic formulas of partial Heyting algebras ⋮ Algebraic transformation of unary partial algebras. I: Double-pushout approach ⋮ Nearlattices with an overriding operation ⋮ Extensions and congruences of partial lattices ⋮ A partial algebras approach to graph transformation ⋮ Algebraic theory of quasivarieties of heterogeneous partial algebras ⋮ Quasi-varieties: A special access ⋮ Single pushout rewriting in comprehensive systems of graph-like structures ⋮ Classifying categories for partial equational logic ⋮ A functorial semantics for multi-algebras and partial algebras, with applications to syntax. ⋮ Characteristic inference rules
This page was built for publication:
