- Tytuł:
- On intuitionistic proof transformations, their complexity, and application to constructive program synthesis
- Autorzy:
-
Egly, U.
Schmitt, S. - Tematy:
-
proof transformations
complexity
sequent calculus
program synthesis - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł