Pages that link to "Item:Q812390"
From MaRDI portal
The following pages link to Logic programming with infinite sets (Q812390):
Displaying 6 items.
- Computing with infinitary logic (Q672337) (← links)
- Logic programming with sets (Q909435) (← links)
- My work with Victor Marek: a mathematician looks at answer set programming (Q1028636) (← links)
- Semantics of infinite tree logic programming (Q1090469) (← links)
- Recurrence domains: Their unification and application to logic programming (Q1900314) (← links)
- (Q3221399) (← links)