CODISH M について
K.U. Leuven, BEL について
FALASCHI M について
Dip. Elettronica e Informatica, Padova, ITA について
MARRIOTT K について
Monash Univ. AUS について
WINSBOROUGH W について
Penn State Univ., PA, USA について
Lecture Notes in Computer Science について
プログラム理論 について
合流性 について
計算理論 について
計算機システム開発 について
並行 について
制約条件 について
論理プログラム について
解析 について