Pages that link to "Item:Q3617428"
From MaRDI portal
The following pages link to A Modular Equational Generalization Algorithm (Q3617428):
Displayed 11 items.
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Order-sorted equational generalization algorithm revisited (Q2134938) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Anti-unification for unranked terms and hedges (Q2352488) (← links)
- A modular order-sorted equational generalization algorithm (Q2437800) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- Algebraic Reinforcement Learning (Q2945728) (← links)
- Order-Sorted Generalization (Q4982625) (← links)
- Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)