共 42 条
[2]
Allender E., 2004, COMPL COMPUT PROOFS, V13, P33
[3]
Alur R., 2004, P ACM S THEOR COMP, P202, DOI DOI 10.1145/1007352.1007390
[9]
BUSS SAMUEL R., 1987, STOC, P123
[10]
Caucal D., 2006, LNCS, V4036