Publication | Closed Access
On the role of semantic approximations in validation and diagnosis of constraint logic programs
60
Citations
6
References
1997
Year
Constraint SolvingEngineeringConstraint SatisfactionProgram AnalysisAutomated ReasoningAnswer Set ProgrammingVerificationConstraint Logic ProgramsFormal MethodsComputer ScienceSemanticsFormal VerificationSemantic ApproximationsLogic ProgrammingConstraint Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1