Concepedia
Publication | Closed Access
EXPtime tableaux for ALC
123
Citations
56
References
2000
Year
Formal MethodsComputer AlgebraAlgebraic CombinatoricsApplied AlgebraExptime Tableaux
Page 1