Publication | Closed Access
Some classes of prolog programs inferable from positive data
15
Citations
15
References
2000
Year
Declarative ProgrammingEngineeringAutomated ReasoningFormal MethodsWell-founded SemanticsProlog ProgramsComputer ScienceFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1