Pages that link to "Item:Q2873786"
From MaRDI portal
The following pages link to Narrowing and rewriting logic: from foundations to applications (Q2873786):
Displaying 15 items.
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q880981) (← links)
- Programming with narrowing: a tutorial (Q968524) (← links)
- Termination of narrowing via termination of rewriting (Q969619) (← links)
- Conditional narrowing modulo a set of equations (Q1261194) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Sentence-normalized conditional narrowing modulo in rewriting logic and Maude (Q1655486) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- On refinement in rewriting logic (Q2733988) (← links)
- Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols (Q2849863) (← links)
- A Modular Equational Generalization Algorithm (Q3617428) (← links)
- (Q3696486) (← links)
- (Q4281464) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Term Rewriting and Applications (Q5703856) (← links)