Pages that link to "Item:Q1799269"
From MaRDI portal
The following pages link to Symbolic reasoning methods in rewriting logic and Maude (Q1799269):
Displaying 6 items.
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
- Symbolic Analysis of Maude Theories with Narval (Q5108507) (← links)