Kernel-LEAF: A logic plus functional language - Concepedia

Concepedia

Publication | Closed Access

Kernel-LEAF: A logic plus functional language

112

Citations

26

References

1991

Year

Elio Giovannetti, Giorgio Levi, Corrado Moiso, Catuscia Palamidessi

Journal of Computer and System Sciences

Computational LogicEngineeringAutomated ReasoningFormal MethodsFirst-order LogicComputer ScienceHigher-order LogicFunctional Language

References

	Year	Citations

Page 1