Publication | Closed Access
AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs.
57
Citations
0
References
1985
Year
Computational LogicEngineeringProgram AnalysisAutomated ReasoningFormal MethodsIntelligent BacktrackingComputer ScienceFormal VerificationLogic Programming
No additional data available for this publication yet. Check back later!