Publication | Closed Access
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs
64
Citations
0
References
1997
Year
Unknown Venue
Applied LogicComputational LogicContraint Logic ProgramsEngineeringAutomated ReasoningPropositional LogicVerificationFormal MethodsWell-founded SemanticsSemanticsFormal VerificationSemantic ApproximationsLogic Programming
No additional data available for this publication yet. Check back later!