Calculational proofs

DOI10.1145/3544585.3544598MaRDI QIDQ6624634zbMATH OpenFDO

Authors Vladimir Lifschitz

Publication date 28 October 2024

Full work available at URL https://doi.org/10.1145/3544585.3544598

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) Computer science (68-XX)

This page was built for publication: Calculational proofs

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