Efficient Well-Definedness Checking
dc.contributor.author
Darvas, Ádám
dc.contributor.author
Mehta, Farhad
dc.contributor.author
Rudich, Arsenii
dc.date.accessioned
2017-06-08T21:03:02Z
dc.date.available
2017-06-08T21:03:02Z
dc.date.issued
2008
dc.identifier.isbn
978-3-540-71069-1
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-71070-7_8
dc.identifier.uri
http://hdl.handle.net/20.500.11850/13588
dc.language.iso
en
dc.publisher
Springer
dc.title
Efficient Well-Definedness Checking
dc.type
Conference Paper
ethz.book.title
Automated reasoning : 4th international joint conference : proceedings / IJCAR 2008, Sydney, Australia, August 12-15, 2008
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
5195
ethz.journal.abbreviated
LNCS
ethz.pages.start
100
ethz.pages.end
115
ethz.event
4th international joint conference on Automated Reasoning (IJCAR 2008)
ethz.event.location
Sydney, Australia
ethz.event.date
August 12-15, 2008
ethz.identifier.nebis
005710720
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich, direkt::00012 - Lehre und Forschung, direkt::00007 - Departemente, direkt::02150 - Departement Informatik / Department of Computer Science::03594 - Meyer, Bertrand (emeritus)
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science::02664 - Inst. f. Programmiersprachen u. -systeme / Inst. Programming Languages and Systems::03653 - Müller, Peter / Müller, Peter
ethz.date.deposited
2017-06-08T21:03:10Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c2dcc86a98122
ethz.ecitpid
pub:25047
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T14:52:53Z
ethz.rosetta.lastUpdated
2024-02-01T15:18:18Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Efficient%20Well-Definedness%20Checking&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2008&rft.volume=5195&rft.spage=100&rft.epage=115&rft.issn=0302-9743&1611-3349&rft.au=Darvas,%20%C3%81d%C3%A1m&Mehta,%20Farhad&Rudich,%20Arsenii&rft.isbn=978-3-540-71069-1&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-540-71070-7_8&rft.btitle=Automated%20reasoning%20:%204th%20international%20joint%20conference%20:%20proceedings%20/%20IJCAR%202008,%20Sydney,%20Australia,%20August%2012-15,%202008
Dateien zu diesem Eintrag
| Dateien | Größe | Format | Im Viewer öffnen |
|---|---|---|---|
|
Zu diesem Eintrag gibt es keine Dateien. |
|||
Publikationstyp
-
Conference Paper [34969]