| 释义 |
- Selected publications
- References
- External links
{{Infobox scientist
| name = Wayne Snyder
| native_name =
| native_name_lang =
| image =
| imagesize =
| alt =
| caption =
| birth_date =
| birth_place =
| death_date =
| death_place =
| death_cause =
| resting_place =
| resting_place_coordinates =
| other_names =
| residence = Rich Hall
| citizenship =
| nationality =
| fields =
| workplaces =
| patrons =
| alma_mater =
| thesis_title = Complete Sets of Transformations for General Unification
| thesis_url =
| thesis_year = 1988
| doctoral_advisor = Jean Henri Gallier
| academic_advisors =
| doctoral_students =
| notable_students =
| known_for =
| influences =
| influenced =
| awards =
| author_abbrev_bot =
| author_abbrev_zoo =
| spouse =
| partner =
| children = John Henry, Matthew
| signature =
| signature_alt =
| website = {{URL|http://www.cs.bu.edu/~snyder/}}
| footnotes =
}}Wayne Snyder is an associate professor at Boston University known for his work in E-unification theory. He was raised in Yardley, Pennsylvania, worked in his father's aircraft shop, attended the Berklee School of Music, and obtained an MA in Augustan poetry at Tufts University. He then studied computer science, and earned his Ph.D. at the University of Pennsylvania in 1988. In 1987 he came to Boston University, teaching introductory computer science, and researching on automated reasoning, and, more particularly, E-unification. [1]Selected publications- {{cite book |author1=Gallier, J.H. |author1-link= Jean Gallier |author2=Snyder, W. |lastauthoramp=yes | contribution=A General Complete E-Unification Procedure | pages=216–227 | year=1987 | editor=Lescanne, Pierre | title=Rewriting Techniques and Applications, 2nd Int. Conf., RTA-87 | series=LNCS | volume=256 | publisher=Springer|title-link= Rewriting Techniques and Applications }}
- {{cite journal |author1=Jean H. Gallier |author2=Wayne Snyder |lastauthoramp=yes | title=Complete Sets of Transformations for General E-Unification | journal=Theoretical Computer Science | volume=67 |issue=2–3 | pages=203–260 | url=http://www.sciencedirect.com/science/article/pii/0304397589900042/pdf?md5=28f5773631f4da449f493ddf610a57ee&pid=1-s2.0-0304397589900042-main.pdf | year=1989 | doi=10.1016/0304-3975(89)90004-2}}
- {{cite book | author=Snyder, W. | contribution=Efficient Ground Completion: An O(n log n) Algorithm for Generating Reduced Sets of Ground Rewrite Rules Equivalent to a Set of Ground Equations E | pages=419–433 | year=1989 | editor=Nachum Dershowitz | title=Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89 | series=LNCS | volume=355 | publisher=Springer}}
- {{cite book | author=Wayne Snyder | contribution=Higher order E-unification | title=Proc. 10th Conference on Automated Deduction | publisher=Springer | series=LNAI | volume=449 | pages=573–587 |date=Jul 1990 | title-link=Conference on Automated Deduction }}
- {{cite journal | author=Jean H. Gallier and Paliath Narendran and David A. Plaisted and Wayne Snyder | title=Rigid E-Unification: NP-Completeness and Applications to Equational Matings | journal=Inf. Comput. | volume=87 | number=1/2 | pages=129–195 | url=http://www.sciencedirect.com/science/article/pii/089054019090061L/pdf?md5=5e3c837622767182f01513376905359e&pid=1-s2.0-089054019090061L-main.pdf | year=1990 | doi=10.1016/0890-5401(90)90061-l}}
- {{cite book |author1=Snyder, W. |author2=Lynch, C. |lastauthoramp=yes | contribution=Goal Directed Strategies for Paramodulation | pages=150–161 | year=1991 | editor=Ronald V. Book | title=Rewriting Techniques and Applications, 4th Int. Conf., RTA-91 | series=LNCS | volume=488 | publisher=Springer}}
- {{cite book |author1=Lynch, C. |author2=Snyder, W. |lastauthoramp=yes | contribution=Redundancy Criteria for Constrained Completion | pages=2–16 | year=1993 | editor=Kirchner, Claude | title=Rewriting Techniques and Applications, 5th Int. Conf., RTA-93 | series=LNCS | volume=690 | publisher=Springer}}
- {{cite journal | author=Jean H. Gallier and Paliath Narendran and David A. Plaisted and Stan Raatz and Wayne Snyder | title=An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time | journal=J. ACM | volume=40 | number=1 | pages=1–16 | url=http://cs-pub.bu.edu/fac/snyder/publications/groundcompletionJACMr.pdf | year=1993 | doi=10.1145/138027.138032}}
- {{cite book | author=Franz Baader and Wayne Snyder | contribution=Unification Theory | pages=439–526 | title=Handbook of Automated Reasoning | editor=Alan Robinson and Andrei Voronkov | publisher=MIT Press + Elsevier | year=2001 | contribution-url=http://www.cs.bu.edu/~snyder/publications/UnifChapter.pdf| title-link=Handbook of Automated Reasoning }}
References1. ^Personal information page
External links- Home page
- Publications at DBLP
- Publications at Snyder's home page
- {{mathGenealogy|103996}}
{{Authority control}}{{DEFAULTSORT:Snyder, Wayne}}{{compu-scientist-stub}} 4 : Theoretical computer scientists|American computer scientists|Living people|Year of birth missing (living people) |