Pages that link to "Item:Q1261194"
From MaRDI portal
The following pages link to Conditional narrowing modulo a set of equations (Q1261194):
Displaying 5 items.
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Complete symbolic reachability analysis using back-and-forth narrowing (Q860885) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
