scientific article; zbMATH DE number 3562462
From MaRDI portal
Publication:4134899
zbMath0361.68013MaRDI QIDQ4134899
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Mechanical translation of set theoretic problem specifications into efficient RAM code - a case study ⋮ Local constraints in programming languages. I: Syntax ⋮ The Schorr-Waite marking algorithm revisited ⋮ Correct transformation: from object-based graph grammars to PROMELA ⋮ On correct refinement of programs ⋮ An order-algebraic definition of knuthian semantics ⋮ Synthetic programming
This page was built for publication:
