Show simple item record

dc.contributor.author
Hromkovič, Juraj
dc.date.accessioned
2017-06-11T23:31:58Z
dc.date.available
2017-06-11T23:31:58Z
dc.date.issued
2015-09-28
dc.identifier.issn
1433-8092
dc.identifier.uri
http://hdl.handle.net/20.500.11850/111299
dc.language.iso
en
dc.publisher
Hasso-Plattner-Institut fuer Softwaresystemtechnik GmbH
dc.title
Why the concept of computational complexity is hard for verifiable mathematics
dc.type
Journal Article
ethz.journal.title
Electronic Colloquium on Computational Complexity
ethz.journal.volume
159
ethz.journal.abbreviated
Electron. Colloq. Comput. Complex.
ethz.pages.start
TR15-159
ethz.size
14 p.
ethz.identifier.nebis
004567201
ethz.publication.place
Potsdam
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-11T23:32:33Z
ethz.source
ECIT
ethz.identifier.importid
imp593654031542c17326
ethz.ecitpid
pub:172685
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T23:22:03Z
ethz.rosetta.lastUpdated
2022-03-28T14:35:56Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Why%20the%20concept%20of%20computational%20complexity%20is%20hard%20for%20verifiable%20mathematics&rft.jtitle=Electronic%20Colloquium%20on%20Computational%20Complexity&rft.date=2015-09-28&rft.volume=159&rft.spage=TR15-159&rft.issn=1433-8092&rft.au=Hromkovi%C4%8D,%20Juraj&rft.genre=article&
 Search print copy at ETH Library

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record