The following pages link to (Q3795207):
Displayed 10 items.
- Order-sorted unification (Q582269) (← links)
- Equational completion in order-sorted algebras (Q912606) (← links)
- Order-sorted completion: The many-sorted way (Q1177935) (← links)
- Semantics of order-sorted specifications (Q1185014) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations (Q1196302) (← links)
- Schematization of infinite sets of rewrite rules generated by divergent completion processes (Q1262755) (← links)
- Another look at parameterization for oder-sorted algebraic specifications (Q1342863) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)