Cited in
(22)- Optimization of rewrite theories by equational partial evaluation
- Algebraic reinforcement learning. Hypothesis induction for relational reinforcement learning using term generalization.
- Higher-order pattern generalization modulo equational theories
- Programming and symbolic computation in Maude
- A library of anti-unification algorithms
- Order-sorted equational generalization algorithm revisited
- A partial evaluation framework for order-sorted equational programs modulo axioms
- Debugging Maude programs via runtime assertion checking and trace slicing
- CloneDigger
- ChC 3
- aleanTAP
- iJulienne
- Anima
- SCC
- Web-TLR
- Maude-NPA
- TAMARIN
- GLINTS
- Getafix
- Term-graph anti-unification
- Symbolic computation in Maude: some tapas
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description)
This page was built for software: ACUOS2
