Publication | Closed Access
Lattices, closures systems and implication bases: A survey of structural aspects and algorithms
33
Citations
34
References
2016
Year
Mathematical ProgrammingComputational LogicEngineeringDomain TheorySubstructural LogicAutomated ReasoningFormal MethodsComputational ComplexityComputer ScienceImplication BasesStructural AspectsHigher-order LogicDiscrete StructureClosures SystemsFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1