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