Automata, Logic, and XML

Article English OPEN
NEVEN, Frank (2002)
  • Publisher: Springer
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_COMPUTATIONBYABSTRACTDEVICES | ComputingMethodologies_DOCUMENTANDTEXTPROCESSING
    arxiv: Nonlinear Sciences::Cellular Automata and Lattice Gases | Computer Science::Formal Languages and Automata Theory | Computer Science::Logic in Computer Science | Computer Science::Databases

We survey some recent developments in the broad area of automata and logic which are motivated by the advent of XML. In particular, we consider unranked tree automata, tree-walking automata, and automata over infinite alphabets. We focus on their connection with logic a... View more
Share - Bookmark