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.accessRightsClosed Access-
item.fullcitationNEVEN, Frank (2002) Automata, Logic, and XML. In: COMPUTER SCIENCE LOGIC, PROCEEDINGS. p. 2-26.-
item.fulltextWith Fulltext-
item.contributorNEVEN, Frank-
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

61
checked on Dec 14, 2025

Google ScholarTM

Check


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