The following pages link to (Q4447253):
Displayed 5 items.
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
- One-variable context-free hedge automata (Q2424690) (← links)
- Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786) (← links)
- Tree Automata for Non-linear Arithmetic (Q3522025) (← links)