The following pages link to Module algebra (Q3474270):
Displayed 24 items.
- On the Modularization Theorem for logical specifications (Q674000) (← links)
- Behavioral abstraction is hiding information (Q703529) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Modular structuring of VDM specifications in VVSL (Q1184682) (← links)
- An algebra for process creation (Q1203719) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- On local modularity variants and \(\Pi\)-institutions (Q1603411) (← links)
- On a generalized modularization theorem (Q1607048) (← links)
- Amalgamation in the semantics of CASL (Q1770431) (← links)
- Modular specification of process algebras (Q1802074) (← links)
- On local modularity and interpolation in entailment systems. (Q1853014) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Development graphs -- proof management for structured specifications (Q2369033) (← links)
- Piecewise initial algebra semantics (Q2461761) (← links)
- Uncertain information: random variables in graded semilattices (Q2481039) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Maurer computers for pipelined instruction processing (Q5458071) (← links)