Login / Signup

Trees over Infinite Structures and Path Logics with Synchronization

Alex SpeltenWolfgang ThomasSarah Winter
Published in: INFINITY (2011)
Keyphrases
  • tree structures
  • decision trees
  • shortest path
  • expressive power
  • tree like structures
  • modal logic
  • structural features
  • case study
  • tree structure
  • inference rules
  • phase locked