www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

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
Citation: COMPUTER SCIENCE LOGIC, PROCEEDINGS. p. 2-26
Series/Report: LECTURE NOTES IN COMPUTER SCIENCE, 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.
URI: http://hdl.handle.net/1942/689
ISI #: 000187294300002
ISSN: 0302-9743
Category: A1
Type: Journal Contribution
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
N/A193.37 kBAdobe PDF

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