Pages that link to "Item:Q1370630"
From MaRDI portal
The following pages link to ``Possible is certain'' is desirable and can be expressive (Q1370630):
Displaying 6 items.
- Multiple total stable models are definitely needed to solve unique solution problems (Q1349967) (← links)
- Complexity and expressive power of deterministic semantics for DATALOG\(^ \neg\). (Q1854304) (← links)
- Functional queries in datalog (Q1862647) (← links)
- The expressiveness of locally stratified programs (Q1924734) (← links)
- The expressive power of unique total stable model semantics (Q4572012) (← links)
- Semantics and expressive power of nondeterministic constructs in deductive databases (Q5943120) (← links)