Publication | Closed Access
A Theory of Observables for Logic Programs
30
Citations
38
References
2001
Year
Applied LogicComputational LogicEngineeringAutomated ReasoningFormal MethodsLogic ProgramsComputer ScienceFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1