Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/9154
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMARTENS, Wim-
dc.contributor.authorNEVEN, Frank-
dc.contributor.authorSchwentick, Thomas-
dc.date.accessioned2009-01-15T14:30:55Z-
dc.date.available2009-01-15T14:30:55Z-
dc.date.issued2007-
dc.identifier.citationFlum, J & Graedel, E & Wilke, Th (Ed.) Logic and automata : History and perspectives, p. 505-530.-
dc.identifier.isbn978 90 5356 576 6-
dc.identifier.urihttp://hdl.handle.net/1942/9154-
dc.description.abstractIn strong contrast to their non-deterministic counterparts, deterministic top-down tree automata received little attention in the scientific literature. The aim of this article is to survey recent and less recent results and stipulate new research directions for top-down deterministic tree automata motivated by the advent of the XML data exchange format. In particular, we survey different ranke and unranked top-down tree automata models and discuss expressiveness, closure properties and the complexity of static analysis problems.-
dc.language.isoen-
dc.publisherAmsterdam University Press-
dc.relation.ispartofseriesTexts in Logic and Games-
dc.titleDeterministic top-down tree automata: past, present, future-
dc.typeBook Section-
local.bibliographicCitation.authorsFlum, J-
local.bibliographicCitation.authorsGraedel, E-
local.bibliographicCitation.authorsWilke, Th-
dc.identifier.epage530-
dc.identifier.spage505-
local.bibliographicCitation.jcatB2-
local.type.specifiedBook Section-
local.relation.ispartofseriesnr2-
dc.bibliographicCitation.oldjcatB2-
dc.identifier.urlhttp://www.illc.uva.nl/TLG/index.php?page=10_1_3_2-
local.bibliographicCitation.btitleLogic and automata : History and perspectives-
item.fulltextWith Fulltext-
item.contributorMARTENS, Wim-
item.contributorNEVEN, Frank-
item.contributorSchwentick, Thomas-
item.fullcitationMARTENS, Wim; NEVEN, Frank & Schwentick, Thomas (2007) Deterministic top-down tree automata: past, present, future. In: Flum, J & Graedel, E & Wilke, Th (Ed.) Logic and automata : History and perspectives, p. 505-530..-
item.accessRightsClosed Access-
Appears in Collections:Research publications
Files in This Item:
File Description SizeFormat 
deterministic.pdf240.56 kBAdobe PDFView/Open
Show simple item record

Google ScholarTM

Check

Altmetric


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