Pages that link to "Item:Q1931905"
From MaRDI portal
The following pages link to Rewriting logic bibliography by topic: 1990--2011 (Q1931905):
Displaying 6 items.
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Rewriting-based repairing strategies for XML repositories (Q2436514) (← links)
- New foundations for rewriting logic (Q2703691) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- Two Decades of Maude (Q2945709) (← links)
- Maude2Lean: theorem proving for Maude specifications using Lean (Q6643468) (← links)