FAST: An Efficient Decision Procedure for Deduction and Static Equivalence

Download
Text (PDF, 504.2Kb)
Thumbnail
Open access
ccbyncnd
Author
Conchinha, Bruno
Basin, David A.
Caleiro, Carlos
Date
2011
Type
    Conference Paper
Rights / license
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Permanent link
https://doi.org/10.3929/ethz-a-006528793
Publication status
published
External links
Search via SFX
Book title
Leibniz International Proceedings in Informatics
Publisher
Eidgenössische Technische Hochschule Zürich, Departement Informatik
Event
22nd International Conference on Rewriting Techniques and Applications, RTA 2011, Novi Sad, Serbia, May 30 - June 1, 2011
Subject
PROGRAMME UND ALGORITHMEN ZUR LÖSUNG SPEZIELLER PROBLEME; CODIERUNG (INFORMATIONSTHEORIE); NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME); PROGRAMS AND ALGORITHMS FOR THE SOLUTION OF SPECIAL PROBLEMS; CODING (INFORMATION THEORY); NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS)
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics