ASAP - About Schemata And Proofs

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

Links

Here is some useful links related to the project:

• ASAP - About Schemata and Proofs (French side)
• The Laboratory of Informatics of Grenoble (the CAPP team)
• The Cut-Elimination System CERES
• The Generic Architecture for Proof Transformations framework
• The Austrian Science Fund (FWF)
• The French National Research Agency (ANR)

© 2010-2012 Theory and Logic Group - Mikheil Rukhaia, Cvetan Dunchev.

Supported by the project I383 of the Austrian Science fund.
Last update on January 27, 2012.