scientific article; zbMATH DE number 3735126

MaRDI QIDQ3922158zbMATH OpenFDO

Authors Jerzy Tiuryn

Publication date 1981

zbMATH Keywords

completenessinfinitary logiclogic of programspartial correctness

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other infinitary logic (03C75) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(5)

• Non-standard algorithmic and dynamic logic
• Recursive tables and effective definition schemes
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• First order data types and first order logic
• Equivalences among logics of programs

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