scientific article; zbMATH DE number 3664339

MaRDI QIDQ3862383zbMATH OpenFDO

Authors M. H. van Emden

Publication date 1977

zbMATH Keywords

equations in terms of binary relationsfixed-point theoryflowgraphformal language theorylogic programmingsemantics of monadic recursive program schemas

Mathematics Subject Classification ID

Classical first-order logic (03B10) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

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