Show simple item record

dc.contributor.author
Bianchi, Maria P.
dc.contributor.author
Hromkovič, Juraj
dc.contributor.author
Kováč, Ivan
dc.contributor.editor
Potapov, Igor
dc.date.accessioned
2017-06-11T20:58:15Z
dc.date.available
2017-06-11T20:58:15Z
dc.date.issued
2015
dc.identifier.isbn
978-3-319-21499-3
dc.identifier.isbn
978-3-319-21500-6
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-319-21500-6_9
dc.identifier.uri
http://hdl.handle.net/20.500.11850/106795
dc.language.iso
en
dc.publisher
Springer International Publishing
dc.title
On the Size of Two-Way Reasonable Automata for the Liveness Problem
dc.type
Conference Paper
ethz.book.title
Developments in Language Theory: 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
9168
ethz.journal.abbreviated
LNCS
ethz.pages.start
120
ethz.pages.end
131
ethz.event
19th International Conference on Developments in Language Theory, DLT 2015
ethz.event.location
Liverpool, England
ethz.event.date
July 27-30, 2015
ethz.notes
.
ethz.identifier.wos
ethz.identifier.scopus
ethz.identifier.nebis
010505899
ethz.publication.place
Cham
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::03666 - Hromkovic, Juraj / Hromkovic, Juraj
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::03666 - Hromkovic, Juraj / Hromkovic, Juraj
ethz.date.deposited
2017-06-11T20:58:39Z
ethz.source
ECIT
ethz.identifier.importid
imp593653ae30ac117835
ethz.ecitpid
pub:167205
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-15T03:10:58Z
ethz.rosetta.lastUpdated
2019-02-02T07:12:31Z
ethz.rosetta.exportRequired
true
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=On%20the%20Size%20of%20Two-Way%20Reasonable%20Automata%20for%20the%20Liveness%20Problem&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2015&rft.volume=9168&rft.spage=120&rft.epage=131&rft.issn=0302-9743&1611-3349&rft.au=Bianchi,%20Maria%20P.&Hromkovi%C4%8D,%20Juraj&Kov%C3%A1%C4%8D,%20Ivan&rft.isbn=978-3-319-21499-3&978-3-319-21500-6&rft.genre=proceeding&rft_id=info:doi/978-3-319-21499-3&info:doi/978-3-319-21500-6&rft.btitle=Developments%20in%20Language%20Theory:%2019th%20International%20Conference,%20DLT%202015,%20Liverpool,%20UK,%20July%2027-30,%202015,%20Proceedings
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record