共 12 条
[2]
Diaconescu R, 1999, LECT NOTES COMPUT SC, V1709, P1644
[3]
Diaconescu R., 2005, J THEORETICAL COMPUT, V343
[4]
Diaconescu R., 1998, AMAST Series in Computing, V6
[5]
Diaconescu R., 2000, CAFE IND STRENGTH AL
[6]
Galinski, TKE TERM KNOWL ENG C
[7]
Goguen J., 1992, ELECT NOTES THEOR CO, V105, P217, DOI DOI 10.1016/0304-3975(92)90302-V
[8]
Iida S., 1998, TECHNICAL REPORT
[9]
Ksystra K., 2012, LECT NOTES COMPUTER, V7438/2012, P136
[10]
Mossakowski T., 2011, P 1 INT C TERM LANG, P97