The following pages link to (Q3719824):
Displayed 16 items.
- Order-sorted unification (Q582269) (← links)
- Generator induction in order sorted algebras (Q749219) (← links)
- Equational completion in order-sorted algebras (Q912606) (← links)
- Code selection by inversion of order-sorted derivors (Q914361) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Modular algebraic specification of some basic geometrical constructions (Q1115574) (← links)
- Inheritance as implicit coercion (Q1175335) (← 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)
- Schematization of infinite sets of rewrite rules generated by divergent completion processes (Q1262755) (← links)
- Abstract data type systems (Q1391729) (← links)
- Automatic proofs by induction in theories without constructors (Q1824382) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)