The following pages link to (Q3372484):
Displaying 6 items.
- Contexts in dynamic predicate logic (Q1384001) (← links)
- (Q2767039) (← links)
- Lazy database access with persistent predicates (Q2873797) (← links)
- Dynamic Logic with Non-rigid Functions (Q3613414) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- A rule-based procedure for graph query solving (Q6535512) (← links)