Show simple item record

dc.contributor.author
Conchinha, Bruno
dc.contributor.author
Basin, David A.
dc.contributor.author
Caleiro, Carlos
dc.date.accessioned
2017-08-17T13:32:22Z
dc.date.available
2017-06-13T13:28:37Z
dc.date.available
2017-07-04T13:46:27Z
dc.date.available
2017-08-17T13:32:22Z
dc.date.issued
2011
dc.identifier.uri
http://hdl.handle.net/20.500.11850/152763
dc.identifier.doi
10.3929/ethz-a-006528793
dc.language.iso
en
en_US
dc.publisher
Eidgenössische Technische Hochschule Zürich, Departement Informatik
en_US
dc.rights.uri
http://creativecommons.org/licenses/by-nc-nd/3.0/
dc.subject
PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME
en_US
dc.subject
CODIERUNG (INFORMATIONSTHEORIE)
en_US
dc.subject
NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME)
en_US
dc.subject
PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS
en_US
dc.subject
CODING (INFORMATION THEORY)
en_US
dc.subject
NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS)
en_US
dc.title
FAST: An Efficient Decision Procedure for Deduction and Static Equivalence
en_US
dc.type
Conference Paper
dc.rights.license
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
ethz.book.title
Leibniz International Proceedings in Informatics
en_US
ethz.size
Online-Datei
en_US
ethz.code.ddc
0 - Computer science, information & general works::004 - Data processing, computer science
en_US
ethz.event
22nd International Conference on Rewriting Techniques and Applications, RTA 2011
en_US
ethz.event.location
Novi Sad, Serbia
en_US
ethz.event.date
May 30 - June 1, 2011
en_US
ethz.identifier.nebis
006528793
ethz.publication.place
Zürich
en_US
ethz.publication.status
published
en_US
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02150 - Dep. Informatik / Dep. of Computer Science
en_US
ethz.date.deposited
2017-06-13T13:34:05Z
ethz.source
ECOL
ethz.identifier.importid
imp59366b049e60664219
ethz.ecolpid
eth:2873
ethz.eth
yes
en_US
ethz.availability
Open access
en_US
ethz.rosetta.installDate
2017-07-04T13:46:29Z
ethz.rosetta.lastUpdated
2018-11-05T16:54:45Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=FAST:%20An%20Efficient%20Decision%20Procedure%20for%20Deduction%20and%20Static%20Equivalence&rft.date=2011&rft.au=Conchinha,%20Bruno&Basin,%20David%20A.&Caleiro,%20Carlos&rft.genre=proceeding&rft.btitle=Leibniz%20International%20Proceedings%20in%20Informatics
 Search via SFX

Files in this item

Thumbnail

Publication type

Show simple item record