Report copyright - UNIVERSITAT ¨ A - informatik.uni-augsburg.de fileAutomated Higher-order Reasoning in Quantales Han-Hing Dang Institut f ur Informatik, Universit¨ at Augsburg¨ D-86135 Augsburg,
Please pass captcha verification before submit form
Please pass captcha verification before submit form