Weak Kleene Algebra and Computation Trees

DOI10.1007/11828563_1zbMath1134.68344OpenAlexW1550713027MaRDI QIDQ5459170

Ernie Cohen

Publication date: 24 April 2008

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

Full work available at URL: https://doi.org/10.1007/11828563_1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Weak Kleene Algebra and Computation Trees