Programs in partial algebras

DOI10.1016/0304-3975(93)90058-2zbMath0784.08005OpenAlexW2094455713MaRDI QIDQ685398

Grzegorz Jarzembski

Publication date: 17 October 1993

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90058-2

zbMATH Keywords

implicit operationsloopssheafinfinite branchestotal order disconnected topological space

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Specification and verification (program logics, model checking, etc.) (68Q60) Partial algebras (08A55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Weak varieties of partial algebras
• Finitary spectral algebraic theories
• Sheaves of implicit operations in weak varieties of partial algebras
• Algebras with a Scheme of Operators

This page was built for publication: Programs in partial algebras