Program Algebra over an Algebra

DOI10.2478/V10037-012-0037-6zbMath1364.08001OpenAlexW2094549786MaRDI QIDQ2852174

Grzegorz Bancerek

Publication date: 8 October 2013

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/v10037-012-0037-6

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Mechanization of proofs and logical operations (03B35) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Analysis of Algorithms: An Example of a Sort Algorithm ⋮ Algebraic approach to algorithmic logic

Uses Software

• Mizar

Cites Work

• The Borsuk-Ulam Theorem
• Free Term Algebras
• Sorting by Exchanging

This page was built for publication: Program Algebra over an Algebra