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

About Schemata And Proofs

This project is funded by the French National Research Agency (ANR) and by the Austrian Science Fund (FWF).

The web page of this project from the French side: ASAP