Login / Signup

Decidability and Complexity of Finitely Closable Linear Equational Theories.

Christopher LynchBarbara Morawska
Published in: IJCAR (2001)
Keyphrases
  • equational theories
  • linear complexity
  • description logics
  • space complexity
  • worst case