Pages that link to "Item:Q860885"
From MaRDI portal
The following pages link to Complete symbolic reachability analysis using back-and-forth narrowing (Q860885):
Displaying 4 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- A partial evaluation framework for order-sorted equational programs modulo axioms (Q2291823) (← links)
- Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786) (← links)