| |
| 2001 | ||
|---|---|---|
| 4 | Alexey P. Kopylov: Decidability of Linear Affine Logic. Inf. Comput. 164(1): 173-198 (2001) | |
| 1997 | ||
| 3 | Alexey P. Kopylov: The Undecidability of Second Order Linear Affine Logic. LFCS 1997: 156-166 | |
| 1995 | ||
| 2 | Alexey P. Kopylov: Decidability of Linear Affine Logic LICS 1995: 496-504 | |
| 1 | Alexey P. Kopylov: On NP-Completeness in Linear Logic. Ann. Pure Appl. Logic 75(1-2): 137-152 (1995) | |