Publications

FAST: An Efficient Decision Procedure for Deduction and Static Equivalence

AuthID
P-00P-67M

Author(s)

Conchinha, B

Basin, DA

Caleiro, C

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