scientific article

zbMath0479.03001MaRDI QIDQ3936708

No author found.

Publication date: 1981

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

sequent calculuspartial correctnessprogram correctnessaxiomatic set theorybounded recursionfoundations of theoretical computer scienceGrzegorczyk's 5th problemoperators in constructive metric spacessubrecursive class of algorithms

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Metric spaces, metrizability (54E35) Other nonclassical logic (03B60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Applications of computability and recursion theory (03D80) Other constructive mathematics (03F65) Algorithms in computer science (68W99)

Related Items (2)

On ``simple undecidable fragments of the positive theory of a free semigroup ⋮ Undecidability of a simple fragment of a positive theory with a single constant for a free semigroup of rank two

This page was built for publication: