Back to Results
First PageMeta Content
Automated theorem proving / International Conference on Rewriting Techniques and Applications / Formal languages / Logic in computer science / Formal methods / Logic programming / Rewriting / Hagenberg im Mühlkreis / Bruno Buchberger / Theoretical computer science / Mathematics / Applied mathematics


RTA 2008 19th International Conference on Rewriting Techniques and Applications July 15-17, 2008, Hagenberg, Austria The 19th International Conference on Rewriting Techniques and Applications (RTA[removed]is organised as p
Add to Reading List

Document Date: 2008-05-21 04:32:19

Open Document

File Size: 53,49 KB

Share Result on Facebook

City

Leicester / St. Louis / /

Country

Austria / /

Facility

University of Manchester / King’s College / /

IndustryTerm

cryptographic protocols / Web page Notification / submission Web page / /

Organization

FOR PAPERS Programme Committee / University of Manchester / Training School / SUNY / 3rd International School on Rewriting / Organising Committee / Programme Committee / King’s College / /

Person

Jean-Marc Talbot Yoshihito Toyama Ralf Treinen Andrei / Jean Goubault-Larrecq Tetsuo / Tetsuo Ida Claude Kirchner Konstantin Korovin Temur / Narendran Robert Nieuwenhuis Micha¨el / Konstantin Korovin Temur Kutsia Aart / Andrei Voronkov Hans Zantema / Maribel Fern / Bruno Buchberger / Neil Ghani / Aaron Stump Jean-Marc / Andrei Voronkov / /

Position

Chair / General Chair / /

URL

http /

SocialTag