The following pages link to (Q4594004):
Displaying 11 items.
- Programs with continuations and linear logic (Q1330460) (← links)
- Most specific logic programs (Q1356224) (← links)
- Program development in computational logic. A decade of research advances in logic-based program development. (Q1890039) (← links)
- (Q3792665) (← links)
- (Q4004424) (← links)
- (Q4437807) (← links)
- Declarative Logic Programming: Theory, Systems, and Applications (Q4557745) (← links)
- (Q4846259) (← links)
- Role of logic programming in the FGCS project (Q5096224) (← links)
- An Application of Logic Engineering (Q5463271) (← links)
- (Q5514104) (← links)