Publication | Closed Access
Logic programming with equations
51
Citations
20
References
1987
Year
Mathematical ProgrammingApplied LogicEngineeringAutomated ReasoningFormal MethodsComputer ScienceEquational LogicLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1