Equational logic as a tool

DOI10.1007/3-540-60043-4_43zbMath1496.68108OpenAlexW1594619098MaRDI QIDQ5096377

David Gries

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_43

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computer science (educational aspects) (97P99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Equational logic as a tool