Alexey P. Kopylov

Decidability of Linear Affine Logic

Alexey P. Kopylov, 2001, Inf. Comput..

Decidability of linear affine logic

Alexey P. Kopylov, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.

The Undecidability of Second Order Linear Affine Logic

Alexey P. Kopylov, 1997, LFCS.

On NP-Completeness in Linear Logic

Alexey P. Kopylov, 1995, Ann. Pure Appl. Log..