共 24 条
[1]
BLUM EK, 1985, LECT NOTES COMPUT SC, V185, P359
[2]
BLUM EK, 1986, UNPUB JCSS
[3]
Ehrig H., 1985, FUNDAMENTALS ALGEBRA, V1
[4]
EHRIG H, 1985, FORMAL MODELS PROGRA, P231
[5]
EHRIG H, 1983, LECT NOTES COMPUT SC, V154, P188
[6]
EHRIG H, 1986, SEP P IFIP C 86 DUBL
[7]
EHRIG H, 1982, 8209 U BERL TECHN RE
[8]
EHRIG H, 1986, P IFIP TC2 WORKING C
[9]
EHRIG H, 1985, NOTES MODULES DUPLEX
[10]
EHRIG H, 1981, LECT NOTES COMPUT SC, V112, P1