Pages that link to "Item:Q5403072"
From MaRDI portal
The following pages link to Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way) (Q5403072):
Displaying 6 items.
- Exploring conditional rewriting logic computations (Q485831) (← links)
- Debugging Maude programs via runtime assertion checking and trace slicing (Q739630) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Combining Runtime Checking and Slicing to Improve Maude Error Diagnosis (Q2945700) (← links)
- A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules (Q2987065) (← links)
- An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis (Q6052948) (← links)