Pages that link to "Item:Q5038460"
From MaRDI portal
The following pages link to From Logic to Functional Logic Programs (Q5038460):
Displaying 7 items.
- Translation of logic programs into functional fixpoint equations (Q1823723) (← links)
- (Q4016066) (← links)
- (Q4258623) (← links)
- (Q4281599) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
- From process logic to program logic (Q5178034) (← links)
- A Virtual Machine for Functional Logic Computations (Q5423547) (← links)