ウェイン・スナイダー | |
|---|---|
| 子供たち | ジョン・ヘンリー、マシュー |
| 科学者としてのキャリア | |
| 論文 | 一般統一のための変換の完全集合 （1988） |
| 博士課程の指導教員 | ジャン・アンリ・ガリエ |
| Webサイト | www |
ウェイン・スナイダーは、E-統一理論の研究で知られるボストン大学の准教授です。
ペンシルベニア州ヤードリーで育ち、父親の航空機工場で働き、バークリー音楽院に通い、タフツ大学でオーガスタン詩の修士号を取得しました。その後、コンピュータサイエンスを学び、 1988年にペンシルベニア大学で博士号を取得しました。1987年にはボストン大学に移り、コンピュータサイエンス入門を教えるとともに、自動推論、特にE-unificationの研究を行いました。[ 1 ]
選定された出版物
- Gallier, Jean H.; Snyder, Wayne (1987). 「一般的な完全なE-unification手続き」.書き換え技術と応用.コンピュータサイエンス講義ノート. 第256巻. Springer . pp. 216– 227. doi : 10.1007/3-540-17220-3_19 . ISBN 978-3-540-17220-8。
- Gallier, Jean H.; Snyder, Wayne (1989). 「一般E-ユニフィケーションのための変換の完全集合」 .理論計算機科学. 67 ( 2–3 ): 203–260 . doi : 10.1016/0304-3975(89)90004-2 .
- スナイダー、ウェイン (1989). 「効率的なグラウンド補完」.書き換え技術と応用.コンピュータサイエンス講義ノート. 第355巻.シュプリンガー. pp. 419– 433. doi : 10.1007/3-540-51081-8_123 . ISBN 978-3-540-51081-9。
- スナイダー、ウェイン (1990). 「高階E-ユニフィケーション」.第10回国際自動演繹会議.コンピュータサイエンス講義ノート. 第449巻.シュプリンガー. pp. 573– 587. doi : 10.1007/3-540-52885-7_115 . ISBN 978-3-540-52885-2。
- ジャン・ガリエ；パリアス・ナレンドラン；デイヴィッド・プレイステッド；ウェイン・スナイダー (1990). 「剛体E-ユニフィケーション：NP完全性と方程式交配への応用」情報と計算. 87 ( 1–2 ) : 129–195 . doi : 10.1016/0890-5401(90)90061-l .
- スナイダー、ウェイン、リンチ、クリストファー (1991). 「パラモジュレーションのための目標指向戦略」.書き換え技術と応用.コンピュータサイエンス講義ノート. 第488巻.シュプリンガー. pp. 150– 161. doi : 10.1007/3-540-53904-2_93 . ISBN 978-3-540-53904-9。
- リンチ、クリストファー、スナイダー、ウェイン (1993). 「制約付き補完のための冗長性基準」.書き換え技術とその応用.コンピュータサイエンス講義ノート. 第690巻.シュプリンガー. pp. 2– 16. doi : 10.1007/978-3-662-21551-7_2 . ISBN 978-3-540-56868-1。
- Gallier, Jean; Narendran, Paliath; Plaisted, David; Raatz, Stan; Snyder, Wayne (1993). 「多項式時間で基底書き換え規則の標準集合を見つけるアルゴリズム」(PDF) . Journal of the ACM . 40 : 1–16 . doi : 10.1145/138027.138032 .
- バーダー、フランツ。ウェイン・スナイダー。ナレンドラン、パリアス。シュミット・シャウス、マンフレッド。シュルツ、クラウス (2001)。「統一理論」（PDF）。自動推論のハンドブック。 Vol. 1.エルゼビア。 pp. 445–533。土井: 10.1016/B978-044450813-3/50010-2。ISBN 978-0-444-50813-3. 2015年6月8日にオリジナル（PDF）からアーカイブ。2014年9月24日閲覧。
参考文献
外部リンク
- ホームページ
- DBLPの出版物
- スナイダーのホームページにある出版物
- 数学系譜プロジェクトのウェイン・スナイダー