All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

1 (0,115s)

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
  • 1 - 1 out of 1