Publication | Open Access
The generalized completeness of Horn predicate-logic as a programming language.
59
Citations
0
References
1978
Year
Computational LogicEngineeringAutomated ReasoningFormal MethodsWell-founded SemanticsGeneralized CompletenessFirst-order LogicComputer ScienceHigher-order LogicSemanticsFormal VerificationLogic ProgrammingProgramming Languages
No additional data available for this publication yet. Check back later!