The following pages link to Juan José Moreno-Navarro (Q839829):
Displaying 11 items.
- Implementing constructive intensional negation (Q839831) (← links)
- Demand analysis with partial predicates (Q3430668) (← links)
- (Q3476792) (← links)
- (Q3490935) (← links)
- Logic programming with functions and predicates: The language Babel (Q3992229) (← links)
- (Q4038667) (← links)
- (Q4281597) (← links)
- Lazy narrowing in a graph machine (Q5096203) (← links)
- Functional and Logic Programming (Q5308011) (← links)
- Logic Programming (Q5313191) (← links)
- Logics in Artificial Intelligence (Q5394131) (← links)
