Publication | Closed Access

Bilattices and the semantics of logic programming

Computational LogicNon-classical LogicEngineeringAutomated ReasoningFormal MethodsSemanticsLogic Programming