FAST: An Efficient Decision Procedure for Deduction and Static Equivalence

AuthID
P-00P-67M
3
Author(s)
Conchinha, B
·
Basin, DA
·
1
Editor(s)
SchmidtSchauss, M
Document Type
Proceedings Paper
Year published
2011
Published
in 22ND INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'11) in Leibniz International Proceedings in Informatics, ISSN: 1868-8969
Volume: 10, Pages: 11-20 (10)
Conference
22Nd International Conference on Rewriting Techniques and Applications(Rta) Held as Part of Federated Conference on Rewriting, Deduction, and Programming (Rdp), Date: MAY 30-JUN 01, 2011, Location: Univ Novi Sad, Fac Tech Sci, Novi Sad, SERBIA, Sponsors: Univ Novi Sad, Math Inst SASA, Provincial Secretariat Sci & Technol Dev, Minist Educ & Sci, RT RK Comp Based Syst, Fac Econ & Engn Management, Telvent DMS LLC Novi Sad, Embassy France Serbia, Embassy USA Serbia, Host: Univ Novi Sad, Fac Tech Sci
Indexing
Publication Identifiers
Wos: WOS:000392538900004
Source Identifiers
ISSN: 1868-8969
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.