Skip to content

Research Institute for Symbolic Computation

Home
Research
Education
Applications

News
- News
- Press
Events
- Talks
- Conferences
People
- Members
- Visitors
- Former Members
- Jobs
About Us

Rewriting Techniques and Efficient Theorem Proving [RTETP]

Project Lead

Project Duration

01/01/1998 - 31/12/2000

Publications

Advanced Search RISC Report Series

Phone: +43 732 2468 9921
Fax: +43 732 2468 9930
eMail: secretary@risc.jku.at
WWW: https://www.risc.jku.at
Office: Monday-Thursday 8-16h, Friday 8-12h.

Postal Address
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University
Altenbergerstraße 69
4040 Linz, Austria

Visitor Address
Research Institute for Symbolic Computation (RISC)
Schloss Hagenberg (Castle of Hagenberg)
Kirchenplatz 5b
4232 Hagenberg im Mühlkreis, Austria

Impressum
How to find us
GDPR

Wir verwenden Cookies auf unserer Website. Durch Klicken auf OK oder Scrollen stimmen Sie der Verwendung von Cookies zu. Weitere Informationen finden Sie im ImpressumOk