共 19 条
[1]
Anand CK, 2009, CH CRC COMP SCI SER, P3
[3]
Anand CK, 2008, LECT NOTES COMPUT SC, V5088, P217
[4]
ARIOLA ZM, 1994, IEEE S LOG, P416, DOI 10.1109/LICS.1994.316066
[7]
Gonzalia C., 2006, THESIS
[8]
HAEBERER AM, 1997, RELATIONAL METHODS C, P54
[9]
HOFFMANN B, 1991, RAIRO-INF THEOR APPL, V25, P445, DOI 10.1051/ita/1991250504451
[10]
Huet G, 2000, FOUNDAT COMPUT, P239