scientific article
From MaRDI portal
Publication:3204067
zbMath0716.68078MaRDI QIDQ3204067
Robert Harper, Donald Sannella, Andrzej Tarlecki
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Structured theory presentations and logic representations ⋮ Proof systems for structured algebraic specifications: An overview ⋮ Logic representation in LF ⋮ Proof systems for structured specifications with observability operators ⋮ An axiomatic approach to structuring specifications ⋮ Grothendieck inclusion systems ⋮ Unnamed Item ⋮ Toward formal development of programs from algebraic specifications: Model-theoretic foundations
This page was built for publication:
