Login / Signup

Decidability of Conjugacy of Tree-Shifts of Finite Type.

Nathalie AubrunMarie-Pierre Béal
Published in: ICALP (1) (2009)
Keyphrases
  • type checking
  • tree structure
  • description logics
  • binary tree
  • machine learning
  • databases
  • information systems
  • index structure
  • database
  • query processing
  • special case
  • tree nodes