Publication | Closed Access
Foundations of logic programming in hybrid logics with user-defined sharing
10
Citations
29
References
2017
Year
Applied LogicNon-classical LogicComputational LogicEngineeringAutomated ReasoningHybrid LogicsMany-valued LogicFormal MethodsSystems EngineeringComputer ScienceFormal VerificationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1