Publication | Closed Access
Integrity constraints in logic databases
43
Citations
10
References
1985
Year
EngineeringData IntegrityAutomated ReasoningVerificationFormal MethodsComputer ScienceLogic DatabasesDatabase TheoryFormal VerificationIntegrity Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1