Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/689
Title: Automata, Logic, and XML
Authors: NEVEN, Frank 
Issue Date: 2002
Publisher: Springer
Source: COMPUTER SCIENCE LOGIC, PROCEEDINGS. p. 2-26
Series/Report: LECTURE NOTES IN COMPUTER SCIENCE
Series/Report no.: 2471
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.
Document URI: http://hdl.handle.net/1942/689
ISSN: 0302-9743
ISI #: 000187294300002
Category: A1
Type: Journal Contribution
Appears in Collections:Research publications

Files in This Item:
File Description SizeFormat 
24+csl2002.pdf193.37 kBAdobe PDFView/Open
Show full item record

WEB OF SCIENCETM
Citations

59
checked on May 14, 2022

Page view(s)

10
checked on May 20, 2022

Download(s)

4
checked on May 20, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.