Pages that link to "Item:Q3585163"
From MaRDI portal
The following pages link to A decidable subclass of finitary programs (Q3585163):
Displaying 8 items.
- A “Conservative” Approach to Extending Answer Set Programming with Non-Herbrand Functions (Q2900504) (← links)
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
- A decidable subclass of the minimal Gödel class with identity (Q3695254) (← links)
- Decidable problems for powerful programs (Q3766814) (← links)
- Constraint Answer Set Programming without Grounding (Q4559798) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
- The decidable properties of subrecursive functions (Q4598249) (← links)
- Finitary PCF is not decidable (Q5958762) (← links)