Publication | Closed Access

Multimodal logic programming using equational and order-sorted logic

Computational LogicEngineeringAutomated ReasoningPropositional LogicFormal MethodsOrder-sorted LogicComputer ScienceLogic Programming