Alternation Elimination by Complementation
dc.contributor.author
Dax, Christian
dc.contributor.author
Klaedtke, Felix
dc.contributor.editor
Cervesato, Iliano
dc.contributor.editor
Veith, Helmut
dc.contributor.editor
Voronkov, Andrei
dc.date.accessioned
2017-06-08T20:12:22Z
dc.date.available
2017-06-08T20:12:22Z
dc.date.issued
2008
dc.identifier.isbn
978-3-540-89438-4
dc.identifier.issn
0302-9743
dc.identifier.issn
1611-3349
dc.identifier.other
10.1007/978-3-540-89439-1_16
dc.identifier.uri
http://hdl.handle.net/20.500.11850/11241
dc.language.iso
en
dc.publisher
Springer
dc.title
Alternation Elimination by Complementation
dc.type
Conference Paper
ethz.book.title
Logic for Programming, Artificial Intelligence, and Reasoning
ethz.journal.title
Lecture Notes in Computer Science
ethz.journal.volume
5330
ethz.journal.abbreviated
LNCS
ethz.pages.start
214
ethz.pages.end
229
ethz.event
15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2008)
ethz.event.location
Doha, Qatar
ethz.event.date
November 22-27, 2008
ethz.identifier.nebis
005747230
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 / Institute of Information Security::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 / Institute of Information Security::03634 - Basin, David / Basin, David
ethz.date.deposited
2017-06-08T20:12:40Z
ethz.source
ECIT
ethz.identifier.importid
imp59364c0007a7a85014
ethz.ecitpid
pub:22376
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-18T08:28:06Z
ethz.rosetta.lastUpdated
2024-02-01T15:01:51Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Alternation%20Elimination%20by%20Complementation&rft.jtitle=Lecture%20Notes%20in%20Computer%20Science&rft.date=2008&rft.volume=5330&rft.spage=214&rft.epage=229&rft.issn=0302-9743&1611-3349&rft.au=Dax,%20Christian&Klaedtke,%20Felix&rft.isbn=978-3-540-89438-4&rft.genre=proceeding&rft_id=info:doi/10.1007/978-3-540-89439-1_16&rft.btitle=Logic%20for%20Programming,%20Artificial%20Intelligence,%20and%20Reasoning
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34969]