TU Vienna Institute of Computer Languages Theory and Logic Group (E185-2) ASAP

Contact

If you have any questions, remarks, suggestions, etc., related to the project or webpage, we are glad to hear from you. Just send us e-mail on mrukhaia[at]logic.at with the subject "About Schemata And Proofs". We will always try to process and answer your e-mail as soon as possible.