scientific article

From MaRDI portal

Revision as of 21:36, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3922158

Jump to:navigation, search

zbMath0468.68037MaRDI QIDQ3922158

Jerzy Tiuryn

Publication date: 1981

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

zbMATH Keywords

completeness infinitary logic partial correctness logic of programs

Mathematics Subject Classification ID

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) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Other infinitary logic (03C75)

Related Items (5)

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 ⋮ Recursive tables and effective definition schemes

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3922158&oldid=17592409"