Login / Signup

Fixpoints for Rabin Tree Automata Make Complementation Easy.

Roope Kaivola
Published in: ICALP (1996)
Keyphrases
  • tree automata
  • finite automata
  • regular expressions
  • finite state
  • tree languages
  • syntactic pattern recognition
  • logic programs
  • fixpoint
  • pattern matching
  • information retrieval
  • context free