Pages that link to "Item:Q4322433"
From MaRDI portal
The following pages link to An Oxford survey of order sorted algebra (Q4322433):
Displaying 22 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)
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Order-sorted inductive types (Q1286367) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- A hidden agenda (Q1575735) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- A hidden Herbrand theorem: Combining the object and logic paradigms (Q1858427) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- On multi-language abstraction. Towards a static analysis of multi-language programs (Q2233542) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Interpreting Abstract Interpretations in Membership Equational Logic (Q2841246) (← links)
- Constructor-Based Institutions (Q2888501) (← links)
- Binding in Nominal Equational Logic (Q3178258) (← links)
- Higher-order algebra with transfinite types (Q4645814) (← links)
- A simple abstract semantics for equational theories (Q5055883) (← links)
- An introduction to category-based equational logic (Q5096381) (← links)
- Equational axiomatizability for coalgebra (Q5941166) (← links)
