scientific article; zbMATH DE number 3839930
From MaRDI portal
Publication:3310595
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Recursive functions and relations, subrecursive hierarchies (03D20) Undecidability and degrees of sets of sentences (03D35) Other constructive mathematics (03F65)
Cited in
(6)- Formal methods in computer technologies
- Geometry of recursion for arithmetic and existentially defined relations
- The Thue problem and logical specifications of derivation in formal systems
- A methodology of structured-modular composition programming
- Complexity of the search for the least solution to a system of dictionary equations of exponential type
- On the paralogicality of some logical constructs
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 Q3310595)
