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 6 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)
- Symbolic Backwards-Reachability Analysis for Higher-Order Pushdown Systems (Q3623010) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5899054) (← links)