Publication | Closed Access
Decision Procedures for Constraint Based Extensions of Datalog.
14
Citations
0
References
1991
Year
Unknown Venue
Constraint SolvingEngineeringConstraint SatisfactionAutomated ReasoningConstraintsFormal MethodsDecision ProceduresComputer ScienceData ManagementConstraint Programming
No additional data available for this publication yet. Check back later!