The following pages link to Functional and Logic Programming (Q5308019):
Displaying 8 items.
- 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)
- Narrowing and rewriting logic: from foundations to applications (Q2873786) (← links)
- (Q4847002) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- Functional Logic Programming in Maude (Q5403075) (← links)
- Term Rewriting and Applications (Q5703856) (← links)
- A thorough treatment of highly-efficient NTRU instantiations (Q6091128) (← links)