scientific article; zbMATH DE number 3523133

MaRDI QIDQ4101426zbMATHFDO

Authors Clark H. Lewis, Barry K. Rosen

Publication date 1973

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited in

(3)

• An order-algebraic definition of knuthian semantics
• Categories of chain-complete posets
• Program equivalence and context-free grammars

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 Q4101426)