Pages that link to "Item:Q1799269"
From MaRDI portal
The following pages link to Symbolic reasoning methods in rewriting logic and Maude (Q1799269):
Displaying 9 items.
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM. (Q997833) (← links)
- Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description) (Q2104541) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- (Q4223000) (← links)
- (Q5020553) (← links)
- (Q5020960) (← links)
- A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
- Symbolic Analysis of Maude Theories with Narval (Q5108507) (← links)