Publication | Closed Access
Observable Behaviors and Equivalences of Logic Programs
21
Citations
23
References
1995
Year
Applied LogicNon-classical LogicEngineeringAutomated ReasoningFormal MethodsComputer ScienceObservable BehaviorsFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1