Unification and Anti-Unification Algorithms with Proximity Relations

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
A-4040 Linz, Austria

Visitor Address
Research Institute for Symbolic Computation (RISC)
Schloss Hagenberg (Castle of Hagenberg)
Kirchenplatz 5b
A-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