scientific article; zbMATH DE number 4028877

MaRDI QIDQ3769949zbMATH OpenFDO

Authors Paweł Urzyczyn

Publication date 1988

zbMATH Keywords

computational power of programsexpressive power of logicspush-down stores and arraysunary structures

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3846863
• Equivalences among logics of programs
• Unbounded program memory adds to the expressive power of first-order programming logic
• Positive program logics in systems with arithmetic
• Limitations of the program memory and the expressive power of dynamic logics

Cited in

(3)

• Limitations of the program memory and the expressive power of dynamic logics
• Unbounded program memory adds to the expressive power of first-order programming logic
• scientific article; zbMATH DE number 4049005 (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 Q3769949)