Publication | Open Access
Modeling issues and implementation of language for disjunctive programming
57
Citations
18
References
2000
Year
Declarative ProgrammingEngineeringAutomated ReasoningAnswer Set ProgrammingFormal MethodsComputer ScienceDisjunctive ProgrammingFormal VerificationSoftware DesignLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1