Publication | Closed Access
Logic programs with abstract constraint atoms: The role of computations
62
Citations
27
References
2009
Year
Applied LogicComputational LogicEngineeringAutomated ReasoningAnswer Set ProgrammingFormal MethodsLogic ProgramsWell-founded SemanticsComputer ScienceFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1