The following pages link to On Finitely Recursive Programs (Q3608648):
Displayed 5 items.
- Weight constraint programs with evaluable functions (Q645084) (← links)
- $\mathbb{FDNC}$ : Decidable Non-monotonic Disjunctive Logic Programs with Function Symbols (Q3498490) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Computable Functions in ASP: Theory and Implementation (Q5504670) (← links)
- Composing Normal Programs with Function Symbols (Q5504671) (← links)