Publication | Closed Access

Compilation of set terms in the logic data language (LDL)

EngineeringAutomated ReasoningSet TermsFormal MethodsWell-founded SemanticsFirst-order LogicHigher-order LogicSemanticsKnowledge CompilationLogic Programming