scientific article

zbMATH Open0468.68037MaRDI QIDQ3922158FDOQ3922158

Jerzy Tiuryn

Publication date: 1981

Title of this publication is not available (Why is that?)

zbMATH Keywords

completenesspartial correctnessinfinitary logiclogic of programs

Mathematics Subject Classification ID

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

Cited In (5)

• Recursive tables and effective definition schemes
• Non-standard algorithmic and dynamic logic
• First order data types and first order logic
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• 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)