Florian Chudigiewitsch
Florian Chudigiewitsch
Home
Posts
Publications
Contact
Light
Dark
Automatic
7
Computational Complexity of Deciding Provability in Linear Logic and Its Fragments
In my master’s thesis, I took a look at some complexity aspects of a very interesting logic called linear logic.
Florian Chudigiewitsch
PDF
Cite
Cite
×