Please use this identifier to cite or link to this item:
http://hdl.handle.net/1942/620
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | NEVEN, Frank | - |
dc.contributor.author | Schwentick, Thomas | - |
dc.contributor.author | Vianu, Victor | - |
dc.date.accessioned | 2005-03-09T13:51:24Z | - |
dc.date.available | 2005-03-09T13:51:24Z | - |
dc.date.issued | 2001 | - |
dc.identifier.citation | MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. p. 560-572 | - |
dc.identifier.isbn | 0302-9743 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/1942/620 | - |
dc.description.abstract | Motivated by formal models recently proposed in the context of XML, we study automata and logics on strings over infinite alphabets. These are conservative extensions of classical automata and logics defining the regular languages on finite alphabets. Specifically, we consider register and pebble automata, and extensions of first-order logic and monadic second-order logic. For each type of automaton we consider one-way and two-way variants, as well as deterministic, non-deterministic, and alternating control. We investigate the expressiveness and complexity of the automata, their connection to the logics, as well as standard decision problems. | - |
dc.format.extent | 330485 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Springer-Verlag GmbH | - |
dc.relation.ispartofseries | LECTURE NOTES IN COMPUTER SCIENCE | - |
dc.title | Towards Regular Languages over Infinite Alphabets | - |
dc.type | Journal Contribution | - |
local.bibliographicCitation.conferencename | MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2001 | - |
dc.identifier.epage | 572 | - |
dc.identifier.spage | 560 | - |
local.bibliographicCitation.jcat | A1 | - |
local.type.refereed | Refereed | - |
local.type.specified | Article | - |
local.relation.ispartofseriesnr | 2136 | - |
dc.bibliographicCitation.oldjcat | A1 | - |
dc.identifier.doi | 10.1007/3-540-44683-4_49 | - |
dc.identifier.isi | 000179963500049 | - |
item.contributor | NEVEN, Frank | - |
item.contributor | Schwentick, Thomas | - |
item.contributor | Vianu, Victor | - |
item.accessRights | Open Access | - |
item.fullcitation | NEVEN, Frank; Schwentick, Thomas & Vianu, Victor (2001) Towards Regular Languages over Infinite Alphabets. In: MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE. p. 560-572. | - |
item.fulltext | With Fulltext | - |
crisitem.journal.issn | 0302-9743 | - |
Appears in Collections: | Research publications |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
17 infinity.pdf | 322.74 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
47
checked on Sep 2, 2020
WEB OF SCIENCETM
Citations
31
checked on Mar 28, 2024
Page view(s)
82
checked on Nov 7, 2023
Download(s)
236
checked on Nov 7, 2023
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.