Géraud Sénizergues
ウィキペディアから
Found in articles
ゲーデル賞
278306, ISSN 0004-5411, https://doi.org/10.1145/278298.278306 ^ Sénizergues, Géraud (2001), “L(A) = L(B)? decidability results from complete formal systems”
（オンライン版）, Acta Arithmetica, XXVII (1975), 521-549. Yuri Matiyasevich and Géraud Senizergues, Decision Problems for Semi-Thue Systems with a Few Rules （オンライン版）
Motwani / w:Shmuel Safra / w:Madhu Sudan / w:Mario Szegedy (2001） · w:Géraud Sénizergues (2002） · w:Yoav Freund / w:Robert Schapire (2003） · w:Maurice Herlihy
Motwani / w:Shmuel Safra / w:Madhu Sudan / w:Mario Szegedy (2001） · w:Géraud Sénizergues (2002） · w:Yoav Freund / w:Robert Schapire (2003） · w:Maurice Herlihy
Motwani / w:Shmuel Safra / w:Madhu Sudan / w:Mario Szegedy (2001） · w:Géraud Sénizergues (2002） · w:Yoav Freund / w:Robert Schapire (2003） · w:Maurice Herlihy