Programs in partial algebras

DOI10.1016/0304-3975(93)90058-2zbMATH Open0784.08005OpenAlexW2094455713MaRDI QIDQ685398FDOQ685398

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebras with a Scheme of Operators
• Title not available (Why is that?)
• Weak varieties of partial algebras
• Finitary spectral algebraic theories
• Sheaves of implicit operations in weak varieties of partial algebras

Cited In (5)

• Equivalences among various logical frameworks of partial algebras
• Program algebra over an algebra
• Title not available (Why is that?)
• Programs over semigroups of dot-depth one
• Computation by `While' programs on topological 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)