Login / Signup

Decidability and Complexity of Tree Share Formulas.

Xuan Bach LeAquinas HoborAnthony W. Lin
Published in: FSTTCS (2016)
Keyphrases
  • tree structure
  • binary tree
  • worst case
  • description logics
  • space complexity
  • decision problems