A New, Simpler Proof of the Modularisation Theorem for Logical Specifications (Q4291868)
From MaRDI portal
scientific article; zbMATH DE number 567632
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A New, Simpler Proof of the Modularisation Theorem for Logical Specifications |
scientific article; zbMATH DE number 567632 |
Statements
A New, Simpler Proof of the Modularisation Theorem for Logical Specifications (English)
0 references
3 November 1994
0 references
interpolation
0 references
presentations of first-order theories
0 references
modularisation theorem for logical specifications
0 references
implementations
0 references
specialisation
0 references
parameter instantiation
0 references
