Web-TLR
From MaRDI portal
Software:21884
swMATH9905MaRDI QIDQ21884FDOQ21884
Author name not available (Why is that?)
Cited In (5)
- Backward Trace Slicing for Conditional Rewrite Theories
- Backward Trace Slicing for Rewriting Logic Theories
- Debugging Maude programs via runtime assertion checking and trace slicing
- Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)
- Exploring conditional rewriting logic computations
This page was built for software: Web-TLR
