Publication | Closed Access
Safe computation of the well-founded semantics of datalog queries
17
Citations
11
References
1992
Year
Database TheoryEngineeringDeductive DatabaseAutomated ReasoningDatalog QueriesFormal MethodsWell-founded SemanticsComputer ScienceSemanticsSemantic WebFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1