scientific article; zbMATH DE number 3602661

MaRDI QIDQ4168052zbMATH OpenFDO

Authors David Gries

Publication date 1978

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Cited in

(1)

• Algebraic specifications of computable and semicomputable data types

This page was built for publication:

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