Publication | Closed Access
An algorithm for disjunctive programs
102
Citations
7
References
1990
Year
EngineeringProgram AnalysisAutomated ReasoningDisjunctive ProgramsPropositional LogicFormal MethodsComputer ScienceDisjunctive ProgrammingConditional LogicFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1