The following pages link to (Q3719824):
Displayed 29 items.
- Order-sorted unification (Q582269) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← 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)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Equational logic and categorical semantics for multi-languages (Q2133469) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- Weak Bisimulation as a Congruence in MSOS (Q2945724) (← links)
- On the Specification and Verification of Model Transformations (Q3184747) (← links)
- A semantic approach to order-sorted rewriting (Q5055784) (← links)
- Proving and rewriting (Q5096184) (← links)
- Completeness and confluence of order-sorted term rewriting (Q5881203) (← links)
- Meta-rule synthesis from crossed rewrite systems (Q5881274) (← links)
- Compatibility of order-sorted rewrite rules (Q5881301) (← links)