Publication | Closed Access
A compositional semantics for logic programs
58
Citations
36
References
1994
Year
EngineeringAutomated ReasoningDescription LogicFormal MethodsLogic ProgramsWell-founded SemanticsSemanticsLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1