DEVIENNE P について
Univ. Sciences et Technologies de Lille, Villeneuve d’Ascq, FRA について
LEBEGUE P について
Univ. Sciences et Technologies de Lille, Villeneuve d’Ascq, FRA について
ROUTIER J-C について
Univ. Sciences et Technologies de Lille, Villeneuve d’Ascq, FRA について
Lecture Notes in Computer Science について
プログラム理論 について
計算理論 について
2値 について
Horn節 について
停止問題 について