The following pages link to ACUOS2 (Q43695):
Displaying 12 items.
- (Q47689) (redirect page) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Symbolic computation in Maude: some tapas (Q2119100) (← links)
- Order-sorted equational generalization algorithm revisited (Q2134938) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Optimization of rewrite theories by equational partial evaluation (Q2667190) (← links)
- A Library of Anti-unification Algorithms (Q2938520) (← links)
- Algebraic Reinforcement Learning (Q2945728) (← links)
- Term-Graph Anti-Unification (Q4993335) (← links)
- Higher-order pattern generalization modulo equational theories (Q5139277) (← links)
