Pages that link to "Item:Q1803659"
From MaRDI portal
The following pages link to Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems (Q1803659):
Displaying 26 items.
- Parameterisation for abstract structured specifications (Q387996) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Order-sorted unification (Q582269) (← links)
- Structural induction in institutions (Q719243) (← links)
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- Inheritance hierarchies: Semantics and unifications (Q1124313) (← links)
- Semantics of order-sorted specifications (Q1185014) (← links)
- An algebraic semantics of higher-order types with subtypes (Q1323318) (← links)
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- A hidden agenda (Q1575735) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Homomorphism preserving algebraic specifications require hidden sorts (Q1893731) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- Principles of proof scores in CafeOBJ (Q1929233) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Metalevel Algorithms for Variant Satisfiability (Q2827841) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- (Q4222853) (← links)
- (Q4222859) (← links)
- Variant-Based Satisfiability in Initial Algebras (Q4686604) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)
- Typed homomorphic relations extended with subtypes (Q6116569) (← links)
- Equivalences among various logical frameworks of partial algebras (Q6560181) (← links)
