scientific article; zbMATH DE number 3961584

MaRDI QIDQ3728882zbMATH OpenFDO

Authors Helena Rasiowa

Publication date 1982

zbMATH Keywords

Algorithmic logic with quantifiersBoolean algebrasCompleteness theoremregular program schemesSemanticssyntactic interacting stacksSyntax

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Other nonclassical logic (03B60) Other infinitary logic (03C75) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4057487
• Infinitary logic for computer science
• scientific article; zbMATH DE number 3939323
• scientific article; zbMATH DE number 3938517
• scientific article; zbMATH DE number 3846863

Cited in

(3)

• While-programs with nondeterministic assignments and the logic ALNA
• A logic of recursion
• scientific article; zbMATH DE number 3939323 (Why is no real title available?)

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