Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/689
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | NEVEN, Frank | - |
dc.date.accessioned | 2005-03-24T10:55:00Z | - |
dc.date.available | 2005-03-24T10:55:00Z | - |
dc.date.issued | 2002 | - |
dc.identifier.citation | COMPUTER SCIENCE LOGIC, PROCEEDINGS. p. 2-26 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/1942/689 | - |
dc.description.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. | - |
dc.format.extent | 198006 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Springer | - |
dc.relation.ispartofseries | LECTURE NOTES IN COMPUTER SCIENCE | - |
dc.title | Automata, Logic, and XML | - |
dc.type | Journal Contribution | - |
local.bibliographicCitation.conferencename | COMPUTER SCIENCE LOGIC, PROCEEDINGS | - |
dc.identifier.epage | 26 | - |
dc.identifier.spage | 2 | - |
local.bibliographicCitation.jcat | A1 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
local.relation.ispartofseriesnr | 2471 | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.isi | 000187294300002 | - |
item.fulltext | With Fulltext | - |
item.contributor | NEVEN, Frank | - |
item.accessRights | Open Access | - |
item.fullcitation | NEVEN, Frank (2002) Automata, Logic, and XML. In: COMPUTER SCIENCE LOGIC, PROCEEDINGS. p. 2-26. | - |
crisitem.journal.issn | 0302-9743 | - |
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 24, 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.