Pages that link to "Item:Q1671153"
From MaRDI portal
The following pages link to A constructor-based reachability logic for rewrite theories (Q1671153):
Displaying 6 items.
- (Co)inductive proof systems for compositional proofs in reachability logic (Q1996855) (← links)
- Capturing constrained constructor patterns in matching logic (Q2096417) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Verifying Reachability-Logic Properties on Rewriting-Logic Specifications (Q2945720) (← links)
- All-Path Reachability Logic (Q5170834) (← links)