Publication | Closed Access
A logical characterization of data languages
58
Citations
7
References
2002
Year
EngineeringData TypeDeductive DatabaseAutomated ReasoningVerificationFormal MethodsLogical CharacterizationDatabase TheoryFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1