Programs in partial algebras

DOI10.1016/0304-3975(93)90058-2MaRDI QIDQ685398zbMATH OpenOpenAlexFDO

Authors 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

loopsimplicit operationssheafinfinite branchestotal order disconnected topological space

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 517047
• scientific article; zbMATH DE number 432732
• scientific article; zbMATH DE number 3914308
• Sheaves of implicit operations in weak varieties of partial algebras
• Program algebras of recursive functions

Cites work

• scientific article; zbMATH DE number 3887755 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• Algebras with a Scheme of Operators
• Finitary spectral algebraic theories
• Sheaves of implicit operations in weak varieties of partial algebras
• Weak varieties of partial algebras

Cited in

(5)

• Computation by `While' programs on topological partial algebras
• scientific article; zbMATH DE number 517047 (Why is no real title available?)
• Program algebra over an algebra
• Programs over semigroups of dot-depth one
• Equivalences among various logical frameworks of partial algebras

This page was built for publication: Programs in partial algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q685398)