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

61
checked on Sep 3, 2025

Google ScholarTM

Check


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