Show simple item record

dc.contributor.author
Lange, Martin
dc.contributor.author
Hofmann, Martin
dc.contributor.author
Dax, Christian
dc.contributor.editor
Arun-Kumar, S.
dc.contributor.editor
Garg, Naveen
dc.date.accessioned
2017-06-08T15:34:17Z
dc.date.available
2017-06-08T15:34:17Z
dc.date.issued
2006
dc.identifier.isbn
3-540-49994-6
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/11944836_26
dc.identifier.uri
http://hdl.handle.net/20.500.11850/1664
dc.language.iso
en
dc.publisher
Springer
dc.title
A proof system for the linear time μ-calculus
dc.type
Conference Paper
ethz.book.title
Foundations of software technology and theoretical computer science : 26th international conference : proceedings : Kolkata, India, December 13-15, 2006
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
4337
ethz.journal.abbreviated
LNCS
ethz.pages.start
273
ethz.pages.end
284
ethz.event
26th International Conference on Foundations of Software Technology and Theoretical Computer Science
ethz.event.location
Kolkata, India
ethz.event.date
December 13-15, 2006
ethz.notes
.
ethz.identifier.wos
ethz.identifier.nebis
005288864
ethz.publication.place
Berlin
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::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02660 - Institut für Informationssicherheit::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-08T15:34:21Z
ethz.source
ECIT
ethz.identifier.importid
imp59364b432d77990967
ethz.ecitpid
pub:11502
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-14T12:04:05Z
ethz.rosetta.lastUpdated
2018-10-01T03:33:17Z
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=A%20proof%20system%20for%20the%20linear%20time%20%CE%BC-calculus&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2006&rft.volume=4337&rft.spage=273&rft.epage=284&rft.issn=0302-9743&1611-3349&rft.au=Lange,%20Martin&Hofmann,%20Martin&Dax,%20Christian&rft.isbn=3-540-49994-6&rft.genre=proceeding&rft_id=info:doi/3-540-49994-6&rft.btitle=Foundations%20of%20software%20technology%20and%20theoretical%20computer%20science%20:%2026th%20international%20conference%20:%20proceedings%20:%20Kolkata,%20India,%20Dec
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record