ウェイン・スナイダー

ウェイン・スナイダーは、E-統一理論の研究で知られるボストン大学の准教授です。

彼はペンシルバニア州ヤードレーで育ち、父親の航空機工場で働き、バークリー音楽学校に通い、タフツ大学でオーガスタン詩の修士号を取得した。その後、コンピュータサイエンスを学び、 1988年にペンシルバニア大学で博士号を取得した。1987年にボストン大学に移り、入門コンピュータサイエンスを教え、自動推論、特にE-unificationを研究した。^[1]

• Gallier, JH & Snyder, W. (1987)。「一般的な完全な E 統合手順」。Lescanne, Pierre (編)。書き換えテクニックとアプリケーション、第 2 回国際会議、RTA-87。LNCS。第256 巻。Springer。pp. 216–227。
• Jean H. Gallier & Wayne Snyder (1989). 「一般電子統合のための完全な変換セット」.理論計算機科学. 67 (2–3): 203–260. doi : 10.1016/0304-3975(89)90004-2 .
• Snyder, W. (1989)。「効率的な基礎補完: 基礎方程式 E のセットと同等の、基礎書き換え規則の縮小セットを生成する O(n log n) アルゴリズム」。Nachum Dershowitz (編)による「書き換えテクニックとアプリケーション」、第 3 回国際会議、RTA-89。LNCS。第 355 巻。Springer。pp. 419–433。
• Wayne Snyder (1990 年 7 月)。「高次の E 統合」。第 10 回自動演繹会議議事録。LNAI。第 449 巻。Springer。pp. 573–587。
• Jean H. Gallier、Paliath Narendran、David A. Plaisted、Wayne Snyder (1990)。「Rigid E-Unification: NP-完全性と等式マッチングへの応用」。Inf . Comput. 87 (1/2): 129–195. doi : 10.1016/0890-5401(90)90061-l。
• Snyder, W. & Lynch, C. (1991)。「パラモジュレーションの目標指向戦略」。Ronald V. Book (編)。書き換え技術とアプリケーション、第 4 回国際会議、RTA-91。LNCS。第 488 巻。Springer。pp. 150–161。
• Lynch, C. & Snyder, W. (1993)。「制約付き完了のための冗長基準」。Kirchner, Claude (編)。書き換え技術とアプリケーション、第 5 回国際会議、RTA-93。LNCS。第 690 巻。Springer。pp. 2–16。
• Jean H. Gallier、Paliath Narendran、David A. Plaisted、Stan Raatz、Wayne Snyder (1993)。「多項式時間で基底書き換え規則の標準セットを見つけるアルゴリズム」(PDF)。J . ACM。40 ( 1 ): 1–16。doi : 10.1145 /138027.138032。S2CID 820591  。
• Franz Baaderおよび Wayne Snyder (2001)。「統一理論」(PDF)。Alan RobinsonおよびAndrei Voronkov (編)。自動推論ハンドブック。MIT Press + Elsevier。pp. 439–526。

• ホームページ
• DBLPの出版物
• スナイダーのホームページの出版物
• 数学系譜プロジェクトのウェイン・スナイダー