Pages that link to "Item:Q2938523"
From MaRDI portal
The following pages link to ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523):
Displaying 8 items.
- ACUOS2 (Q43695) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Order-sorted equational generalization algorithm revisited (Q2134938) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- A Library of Anti-unification Algorithms (Q2938520) (← links)
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance (Q2938523) (← links)
- Algebraic Reinforcement Learning (Q2945728) (← links)
- Term-Graph Anti-Unification (Q4993335) (← links)
