One-Sided Sequent Systems for Nonassociative Bilinear Logic : Cut Elimination and Complexity

Bulletin of the Section of Logic, Tom 50, Numer 1 (2021) s. 55-80
Paweł Płaczek

 

Zaznaczone:  

do góry

Czy na pewno chcesz usunąć artykuł?

Załóż konto

Nazwa:
Adres e-mail:
Hasło:
Powtórz hasło:
Logowanie

Zaloguj się

Login:
Hasło:
Zapomniałem hasła