Login / Signup

A Characterisation of Pi^0_2 Regular Tree Languages.

Filippo CavallariHenryk MichalewskiMichal Skrzypczak
Published in: MFCS (2017)
Keyphrases
  • regular tree languages
  • xml schema
  • tree automata
  • tree languages
  • low level
  • regular expressions
  • finite state
  • finite automata
  • context free