scientific article; zbMATH DE number 3799641

MaRDI QIDQ4744268zbMATH OpenFDO

Authors Michael M. Richter, Manfred E. Szabo

Publication date 1983

zbMATH Keywords

computation theorydynamic logicnon-standard models

Mathematics Subject Classification ID

Nonstandard models (03H99) Abstract data types; algebraic specification (68Q65)

Cited in

(6)

• Non-standard algorithmic and dynamic logic
• On the programs-as-formulas interpretation of parallel programs in Peano arithmetic
• Nonstandard methods in combinatorics and theoretical computer science
• Weak second order characterizations of various program verification systems
• Enlargements of functional algebras for the lambda calculus
• A faithful embedding of parallel computations in star-finite models

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