Publication | Closed Access
Compilation of set terms in the logic data language (LDL)
33
Citations
19
References
1992
Year
EngineeringAutomated ReasoningSet TermsFormal MethodsWell-founded SemanticsFirst-order LogicHigher-order LogicSemanticsKnowledge CompilationLogic Programming
| Year | Citations | |
|---|---|---|
Page 1
Page 1