scientific article; zbMATH DE number 432732

MaRDI QIDQ3138859zbMATH OpenFDO

Authors Peter Burmeister

Publication date 11 November 1993

zbMATH Keywords

abstract data typescategory theorylogicmany-sorted algebrasmodel theorypartial algebrasuniversal algebra

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Partial algebras (08A55) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65)

Cited in

(32)

• Algebraic transformation of unary partial algebras. I: Double-pushout approach
• Algebraic theory of quasivarieties of heterogeneous partial algebras
• Quasi-varieties: A special access
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• Single pushout rewriting in comprehensive systems of graph-like structures
• Characteristic inference rules
• Partial algebras, meaning categories and algebraization
• Characteristic formulas of partial Heyting algebras
• Some characterizations of partial algebras
• Extensions and congruences of partial lattices
• Classifying categories for partial equational logic
• scientific article; zbMATH DE number 437418 (Why is no real title available?)
• Unitary theories, unitary categories
• Binding in nominal equational logic
• A Term-Graph Syntax for Algebras over Multisets
• scientific article; zbMATH DE number 3869407 (Why is no real title available?)
• scientific article; zbMATH DE number 3880784 (Why is no real title available?)
• On the algebraic structure of conditional events
• scientific article; zbMATH DE number 5545434 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 3972934 (Why is no real title available?)
• scientific article; zbMATH DE number 4011909 (Why is no real title available?)
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 517047 (Why is no real title available?)
• A partial algebras approach to graph transformation
• scientific article; zbMATH DE number 2149941 (Why is no real title available?)
• scientific article; zbMATH DE number 1418809 (Why is no real title available?)
• Introduction to algebras of partial triangulations
• Nearlattices with an overriding operation
• Programs in partial algebras
• From sectionally pseudocomplemented posets to pseudoimplicative dual BCK-algebras
• An encoding of partial algebras as total algebras

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 Q3138859)