
Search the dblp DataBase
Alexey P. Kopylov:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Alexey P. Kopylov
The Undecidability of Second Order Linear Affine Logic. [Citation Graph (0, 0)][DBLP] LFCS, 1997, pp:156166 [Conf]
 Alexey P. Kopylov
Decidability of Linear Affine Logic [Citation Graph (0, 0)][DBLP] LICS, 1995, pp:496504 [Conf]
 Alexey P. Kopylov
On NPCompleteness in Linear Logic. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1995, v:75, n:12, pp:137152 [Journal]
 Alexey P. Kopylov
Decidability of Linear Affine Logic. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:164, n:1, pp:173198 [Journal]
Search in 0.001secs, Finished in 0.002secs
