scientific article
From MaRDI portal
Publication:3660896
zbMath0514.68024MaRDI QIDQ3660896
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)
Related Items
Structured algebraic specifications: A kernel language ⋮ On observational equivalence and algebraic specification ⋮ Specifications in an arbitrary institution ⋮ Unnamed Item ⋮ The Foundational Legacy of ASL ⋮ Observational proofs by rewriting.
