scientific article; zbMATH DE number 3774857

MaRDI QIDQ3954792zbMATH OpenFDO

Authors Edsger W. Dijkstra

Publication date 1982

zbMATH Keywords

Backus-Naur formpredicate calculusrecursively defined structures

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Philosophical and critical aspects of logic and foundations (03A05)

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