Filters
Project
Algebraic Methods in Proof Theory (GAP202/11/1632)
in this direction show that current proof theory, based on Gentzen sequent calculi, works only the current methods and thus widening the applicability of (generalized) Gentzen calculi......
IN - Informatika
- 2011 - 2015 •
- 5 771 tis. Kč •
- 5 771 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
- 1 - 1 out of 1