共 27 条
[1]
ASPERTI A, 2002, ACM T COMPUT LOG, V3, P1
[2]
Asperti A., 1998, P LICS 98
[3]
BAILLOT P, 2003, 0203 LIPN U PARIS 13
[4]
BAILLOT P, 2002, P IFIP TCS 02 MONTR
[5]
BAILLOT P, 2004, CSLO0402059
[6]
BAILLOT P, 2004, IN PRESS THEORETICAL
[7]
BARBER A, 1997, DUAL INTUITIONISTIC
[9]
Bellantoni Stephen, 1992, COMPUT COMPLEX, V2, P97, DOI [10.1007/bf01201998., DOI 10.1007/BF01201998, 10.1007/BF01201998]
[10]
BENTON N, 1993, LNCS, V664