Pages that link to "Item:Q543631"
From MaRDI portal
The following pages link to Loop-separable programs and their first-order definability (Q543631):
Displaying 5 items.
- Ordered completion for first-order logic programs on finite structures (Q420824) (← links)
- A progression semantics for first-order logic programs (Q1680677) (← links)
- First-order universality for real programs (Q2843994) (← links)
- Preferred First-Order Answer Set Programs (Q5169967) (← links)
- Expressiveness of Logic Programs under the General Stable Model Semantics (Q5278207) (← links)