Alexey P. Kopylov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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)

	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)

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page