scientific article; zbMATH DE number 3782362

zbMATH Open0496.68010MaRDI QIDQ3960106FDOQ3960106

Authors: T. Gergely, L. Ury 

Publication date: 1981

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

zbMATH Keywords

parallel programmingfirst order logicinteractive programmingmodel constructionsdescriptive languagenondeterministic programmingmodifications of completeness

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Classical first-order logic (03B10) Abstract data types; algebraic specification (68Q65)

Cited In (4)

• Recursive programs and denotational semantics in absolute logics of programs
• Total correctness in nonstandard logics of programs
• Non-standard algorithmic and dynamic logic
• Weak second order characterizations of various program verification systems

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