scientific article; zbMATH DE number 3540357
From MaRDI portal
Publication:4116048
zbMath0346.68011MaRDI QIDQ4116048
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Formal languages and automata (68Q45) General topics in the theory of software (68N01)
Related Items
Constructive system for automatic program synthesis, The degree-diameter problem for sparse graph classes, NATURAL FORMALIZATION: DERIVING THE CANTOR-BERNSTEIN THEOREM IN ZF, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
