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 | Size | Format | |
|---|---|---|---|---|
| 24+csl2002.pdf | 193.37 kB | Adobe PDF | View/Open |
WEB OF SCIENCETM
Citations
60
checked on Apr 16, 2024
Page view(s)
28
checked on Nov 7, 2023
Download(s)
8
checked on Nov 7, 2023
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.