On the theory of program algebras

DOI10.1007/BF01268431zbMath0578.68016OpenAlexW1997176990MaRDI QIDQ1066663

A. V. Mavlyanov, D. B. Buy

Publication date: 1984

Published in: Ukrainian Mathematical Journal (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Primitive program algebras of computable functions

This page was built for publication: On the theory of program algebras