Publication | Closed Access
LEAF: A Language which Integrates Logic, Equations and Functions.
43
Citations
0
References
1986
Year
EngineeringAutomated ReasoningFormal MethodsEquational LogicLanguage StudiesSemanticsFunctional ProgrammingLinguisticsLogic Programming
No additional data available for this publication yet. Check back later!