Publication | Closed Access
A kripke-kleene semantics for logic programs*
536
Citations
7
References
1985
Year
Applied LogicEngineeringAutomated ReasoningFormal MethodsLogic ProgramsWell-founded SemanticsSemanticsLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1