Ehrenfeucht-Fraisse goes automatic for real addition
dc.contributor.author
Klaedtke, Felix
dc.contributor.editor
Albers, Susanne
dc.contributor.editor
Weil, Pascal
dc.date.accessioned
2017-06-08T20:12:26Z
dc.date.available
2017-06-08T20:12:26Z
dc.date.issued
2008
dc.identifier.isbn
978-3-939897-06-4
dc.identifier.other
10.4230/LIPIcs.STACS.2008.1326
dc.identifier.uri
http://hdl.handle.net/20.500.11850/11258
dc.language.iso
en
dc.publisher
LaBRI
dc.subject
automata theory
dc.subject
automata-based decision procedures for logical theories
dc.subject
upper bounds
dc.subject
minimal sizes of automata
dc.subject
linear arithmetic over the reals
dc.subject
first-order equivalence
dc.subject
complexity
dc.title
Ehrenfeucht-Fraisse goes automatic for real addition
dc.type
Conference Paper
ethz.book.title
STACS 2008
ethz.pages.start
445
ethz.pages.end
456
ethz.event
25th International Symposium on Theoretical Aspects of Computer Science (STACS 2008)
ethz.event.location
Bordeaux, France
ethz.event.date
February 21-23, 2008
ethz.identifier.wos
ethz.publication.place
Talence
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
imp59364c004e4a123288
ethz.ecitpid
pub:22397
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-12T22:19:57Z
ethz.rosetta.lastUpdated
2022-03-28T08:00:12Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Ehrenfeucht-Fraisse%20goes%20automatic%20for%20real%20addition&rft.date=2008&rft.spage=445&rft.epage=456&rft.au=Klaedtke,%20Felix&rft.isbn=978-3-939897-06-4&rft.genre=proceeding&rft_id=info:doi/10.4230/LIPIcs.STACS.2008.1326&rft.btitle=STACS%202008
Files in this item
| Files | Size | Format | Open in viewer |
|---|---|---|---|
|
There are no files associated with this item. |
|||
Publication type
-
Conference Paper [34969]