Pages that link to "Item:Q2880785"
From MaRDI portal
The following pages link to Finitely recursive programs: decidability and bottom-up computation (Q2880785):
Displaying 9 items.
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
- Disjunctive ASP with functions: Decidable queries and effective computation (Q3585164) (← links)
- Decidable problems for powerful programs (Q3766814) (← links)
- (Q4010358) (← links)
- (Q4299163) (← links)
- (Q4310702) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
- The decidable properties of subrecursive functions (Q4598249) (← links)
- ASP-Core-2 Input Language Format (Q4957196) (← links)