Exploiting Algebraic Laws to Improve Mechanized Axiomatizations

DOI10.1007/978-3-642-40206-7_5zbMath1394.68217OpenAlexW1949250500MaRDI QIDQ2848938

No author found.

Publication date: 13 September 2013

Published in: Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40206-7_5

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Exploiting Algebraic Laws to Improve Mechanized Axiomatizations