A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs - Concepedia

Concepedia

Publication | Closed Access

A Model-Theoretic Reconstruction of the Operational Semantics of Logic Programs

83

Citations

5

References

1993

Year

Moreno Falaschi, Giorgio Levi, Maurizio Martelli, Catuscia Palamidessi

Information and Computation

Applied LogicComputational LogicEngineeringOperational SemanticsAutomated ReasoningFormal MethodsWell-founded SemanticsSemanticsFormal VerificationLogic Programming

References

	Year	Citations

Page 1