ASAP - About Schemata And Proof

Home

Abstract

Members

Documents

Links

Support
ASAP is a Franco-Austrian research project centered around the use of schemata in automated deduction.

It is hosted by the Laboratory of Informatics of Grenoble (LIG, CAPP team) and by the Vienna University of Technology (Theory and Logic Group), under the supervision of N. Peltier and A. Leitsch.

ASAP is founded by the French National Research Agency (ANR) and by the Austrian Science Fund (FWF).