Publication | Closed Access
Fixpoint semantics for logic programming a survey
228
Citations
32
References
2002
Year
EngineeringAutomated ReasoningAnswer Set ProgrammingFormal MethodsWell-founded SemanticsFixpoint SemanticsFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1