scientific article

zbMath0553.08002MaRDI QIDQ3346382

Horst Reichel

Publication date: 1984

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

partial algebrascomputer sciencesmall categoriescolimitspartial operationsstructural inductionmany-sorted algebrasabstract algorithm over a parameterized abstract data typeequationally partial algebrasequoidsfinite algebraic theoryfree sums of partial algebrasfunctional enrichmentshep-quasi-varietieshierarchical equationally partial varietieshierarchy conditionsmodels of canonsparameterized abstract data typesterm equations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Data structures (68P05) Partial algebras (08A55) Axiomatic model classes (08C10) Algorithms in computer science (68W99) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)

Related Items (7)

Unnamed Item ⋮ Quasi-varieties in abstract algebraic institutions ⋮ An institution-independent proof of the Robinson consistency theorem ⋮ Unnamed Item ⋮ Quasi-varieties: A special access ⋮ On linear exactness properties ⋮ Unnamed Item

This page was built for publication: