Pages that link to "Item:Q4302819"
From MaRDI portal
The following pages link to Syntactical characterization of a subset of domain-independent formulas (Q4302819):
Displaying 4 items.
- Translation of first order formulas into ground formulas via a completion theory (Q266881) (← links)
- Safety, domain independence and translation of complex value database queries (Q1031675) (← links)
- Domain-independent formulas and databases (Q1092679) (← links)
- A semantics for a class of non-deterministic and causal production system programs (Q1340964) (← links)
