The following pages link to Module algebra (Q3474270):
Displayed 43 items.
- The logic of empirical theories revisited (Q383008) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- Inversive meadows and divisive meadows (Q420833) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- 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 categorical study on the finiteness of specifications (Q975404) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Interpolation in computing science: The semantics of modularization (Q1024120) (← 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)
- Generalised graded interpolation (Q2105608) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← 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)
- A Proof Theoretic Interpretation of Model Theoretic Hiding (Q2890327) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Compositionality results for different types of parameterization and parameter passing in specification languages (Q5044722) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- Semantic typing for parametric algebraic specifications (Q5096390) (← links)
- An independent axiomatisation for free short-circuit logic (Q5375874) (← links)
- Maurer computers for pipelined instruction processing (Q5458071) (← links)
- Property-oriented semantics of structured specifications (Q5740355) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)