Extended Conscriptions Algebraically

DOI10.1007/978-3-319-06251-8_9zbMath1344.68075OpenAlexW953682703WikidataQ128988504 ScholiaQ128988504MaRDI QIDQ5410482

Walter Guttmann

Publication date: 16 April 2014

Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_9

Mathematics Subject Classification ID

Related Items (1)

An algebraic approach to computations with progress

Uses Software

• Isabelle/HOL
• Sledgehammer

This page was built for publication: Extended Conscriptions Algebraically