Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Automata, Logic, and XML

Automata, Logic, and XML

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2471/2002
BookComputer Science Logic
DOI10.1007/3-540-45793-3
Copyright2002
ISBN978-3-540-44240-0
DOI10.1007/3-540-45793-3_2
Pages671-711
Subject CollectionComputer Science
SpringerLink DateTuesday, January 01, 2002
Add to marked items

Automata, Logic, and XML

Frank Neven5 Contact Information

(5)  University of Limburg, USA
Abstract
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 and on questions imposed by XML.

Contact Information Frank Neven
Email: frank.neven@luc.ac.be
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Referenced by
1 newer article

  1. Droste, Manfred (2009) Weighted Logics for Unranked Tree Automata. Theory of Computing Systems
    [CrossRef]
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.105 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)