scientific article; zbMATH DE number 3835316

zbMATH Open0526.68006MaRDI QIDQ3040481FDOQ3040481

Ernst-Rüdiger Olderog

Publication date: 1981

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Abstract data types; algebraic specification (68Q65)

Cited In (4)

• Complexity of proving program correctness
• Ernst-Rüdiger Olderog: A Life for Meaning
• Correctness of programs with Pascal-like procedures without global variables
• Wythoff games, continued fractions, cedar trees and Fibonacci searches

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