Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/689
Full metadata record
DC FieldValueLanguage
dc.contributor.authorNEVEN, Frank-
dc.date.accessioned2005-03-24T10:55:00Z-
dc.date.available2005-03-24T10:55:00Z-
dc.date.issued2002-
dc.identifier.citationCOMPUTER SCIENCE LOGIC, PROCEEDINGS. p. 2-26-
dc.identifier.issn0302-9743-
dc.identifier.urihttp://hdl.handle.net/1942/689-
dc.description.abstractWe 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.extent198006 bytes-
dc.format.mimetypeapplication/pdf-
dc.language.isoen-
dc.publisherSpringer-
dc.relation.ispartofseriesLECTURE NOTES IN COMPUTER SCIENCE-
dc.titleAutomata, Logic, and XML-
dc.typeJournal Contribution-
local.bibliographicCitation.conferencenameCOMPUTER SCIENCE LOGIC, PROCEEDINGS-
dc.identifier.epage26-
dc.identifier.spage2-
local.bibliographicCitation.jcatA1-
local.type.refereedRefereed-
local.type.specifiedArticle-
local.relation.ispartofseriesnr2471-
dc.bibliographicCitation.oldjcatA1-
dc.identifier.isi000187294300002-
item.fulltextWith Fulltext-
item.contributorNEVEN, Frank-
item.accessRightsOpen Access-
item.fullcitationNEVEN, Frank (2002) Automata, Logic, and XML. In: COMPUTER SCIENCE LOGIC, PROCEEDINGS. p. 2-26.-
crisitem.journal.issn0302-9743-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
24+csl2002.pdf193.37 kBAdobe PDFView/Open
Show simple item record

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.