research
∙
01/09/2022
On proof theory in computational complexity: overview
In [GH1] and [GH2] (see also [GH3]) we presented full proof of the equal...
research
∙
12/04/2020
On proof theory in computer science
The subject logic in computer science should entail proof theoretic appl...
research
∙
11/17/2020