The following pages link to (Q4447218):
Displaying 10 items.
- Exploring conditional rewriting logic computations (Q485831) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Anti-patterns for rule-based languages (Q968527) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Variadic equational matching in associative and commutative theories (Q2029000) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- A modular order-sorted equational generalization algorithm (Q2437800) (← links)
- Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms* (Q4988927) (← links)
- Backward Trace Slicing for Rewriting Logic Theories (Q5200013) (← links)
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072) (← links)
