Publication | Closed Access
A Fixpoint Approach to Declarative Semantics of Logic Programs.
54
Citations
0
References
1989
Year
Unknown Venue
Declarative ProgrammingEngineeringAutomated ReasoningFormal MethodsWell-founded SemanticsSemanticsFixpoint ApproachLogic Programming
No additional data available for this publication yet. Check back later!