scientific article
From MaRDI portal
Publication:3709888
zbMath0585.68045MaRDI QIDQ3709888
Thomas S. E. Maibaum, Martin Sadler
Publication date: 1985
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01) Interpolation, preservation, definability (03C40)
Related Items (7)
Canonical derivations for high-level replacement systems ⋮ On the Modularization Theorem for logical specifications ⋮ Failure of interpolation in combined modal logics ⋮ A semantic approach to interpolation ⋮ On local modularity and interpolation in entailment systems. ⋮ On local modularity variants and \(\Pi\)-institutions ⋮ On a generalized modularization theorem
This page was built for publication:
