Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Wayne_Snyder> ?p ?o }
Showing triples 1 to 82 of
82
with 100 triples per page.
- Wayne_Snyder abstract "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.".
- Wayne_Snyder doctoralAdvisor Jean_Henri_Gallier.
- Wayne_Snyder wikiPageExternalLink groundcompletionJACMr.pdf.
- Wayne_Snyder wikiPageExternalLink Snyder:Wayne.
- Wayne_Snyder wikiPageExternalLink ~snyder.
- Wayne_Snyder wikiPageExternalLink ~snyder.
- Wayne_Snyder wikiPageExternalLink UnifChapter.pdf.
- Wayne_Snyder wikiPageExternalLink pubs.html.
- Wayne_Snyder wikiPageExternalLink pdf?md5=28f5773631f4da449f493ddf610a57ee&pid=1-s2.0-0304397589900042-main.pdf.
- Wayne_Snyder wikiPageExternalLink pdf?md5=5e3c837622767182f01513376905359e&pid=1-s2.0-089054019090061L-main.pdf.
- Wayne_Snyder wikiPageID "43939832".
- Wayne_Snyder wikiPageLength "5538".
- Wayne_Snyder wikiPageOutDegree "27".
- Wayne_Snyder wikiPageRevisionID "683007125".
- Wayne_Snyder wikiPageWikiLink Andrei_Voronkov.
- Wayne_Snyder wikiPageWikiLink Augustan_poetry.
- Wayne_Snyder wikiPageWikiLink Automated_reasoning.
- Wayne_Snyder wikiPageWikiLink Berklee_College_of_Music.
- Wayne_Snyder wikiPageWikiLink Berklee_School_of_Music.
- Wayne_Snyder wikiPageWikiLink Boston_University.
- Wayne_Snyder wikiPageWikiLink Category:American_computer_scientists.
- Wayne_Snyder wikiPageWikiLink Category:Living_people.
- Wayne_Snyder wikiPageWikiLink Category:Theoretical_computer_scientists.
- Wayne_Snyder wikiPageWikiLink Conference_on_Automated_Deduction.
- Wayne_Snyder wikiPageWikiLink DBLP.
- Wayne_Snyder wikiPageWikiLink David_A._Plaisted.
- Wayne_Snyder wikiPageWikiLink David_Plaisted.
- Wayne_Snyder wikiPageWikiLink E-unification.
- Wayne_Snyder wikiPageWikiLink Franz_Baader.
- Wayne_Snyder wikiPageWikiLink Handbook_of_Automated_Reasoning.
- Wayne_Snyder wikiPageWikiLink International_Conference_on_Rewriting_Techniques_and_Applications.
- Wayne_Snyder wikiPageWikiLink J._ACM.
- Wayne_Snyder wikiPageWikiLink Jean_Henri_Gallier.
- Wayne_Snyder wikiPageWikiLink John_Alan_Robinson.
- Wayne_Snyder wikiPageWikiLink Journal_of_the_ACM.
- Wayne_Snyder wikiPageWikiLink LNCS.
- Wayne_Snyder wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Wayne_Snyder wikiPageWikiLink Nachum_Dershowitz.
- Wayne_Snyder wikiPageWikiLink Rewriting_Techniques_and_Applications.
- Wayne_Snyder wikiPageWikiLink Ronald_V._Book.
- Wayne_Snyder wikiPageWikiLink Theoretical_Computer_Science_(journal).
- Wayne_Snyder wikiPageWikiLink Tufts_University.
- Wayne_Snyder wikiPageWikiLink Unification_(computer_science).
- Wayne_Snyder wikiPageWikiLink University_of_Pennsylvania.
- Wayne_Snyder wikiPageWikiLink Yardley,_Pennsylvania.
- Wayne_Snyder wikiPageWikiLinkText "Wayne Snyder".
- Wayne_Snyder children "John Henry, Matthew".
- Wayne_Snyder doctoralAdvisor Jean_Henri_Gallier.
- Wayne_Snyder hasPhotoCollection Wayne_Snyder.
- Wayne_Snyder name "Wayne Snyder".
- Wayne_Snyder residence "Rich Hall".
- Wayne_Snyder thesisTitle "Complete Sets of Transformations for General Unification".
- Wayne_Snyder thesisYear "1988".
- Wayne_Snyder wikiPageUsesTemplate Template:Cite_book.
- Wayne_Snyder wikiPageUsesTemplate Template:Cite_journal.
- Wayne_Snyder wikiPageUsesTemplate Template:Compu-scientist-stub.
- Wayne_Snyder wikiPageUsesTemplate Template:Infobox_scientist.
- Wayne_Snyder wikiPageUsesTemplate Template:MathGenealogy.
- Wayne_Snyder wikiPageUsesTemplate Template:Reflist.
- Wayne_Snyder subject Category:American_computer_scientists.
- Wayne_Snyder subject Category:Living_people.
- Wayne_Snyder subject Category:Theoretical_computer_scientists.
- Wayne_Snyder hypernym Professor.
- Wayne_Snyder type Agent.
- Wayne_Snyder type Person.
- Wayne_Snyder type Scientist.
- Wayne_Snyder type Person.
- Wayne_Snyder type Agent.
- Wayne_Snyder type NaturalPerson.
- Wayne_Snyder type Thing.
- Wayne_Snyder type Q215627.
- Wayne_Snyder type Q5.
- Wayne_Snyder type Q901.
- Wayne_Snyder type Person.
- Wayne_Snyder comment "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.".
- Wayne_Snyder label "Wayne Snyder".
- Wayne_Snyder sameAs m.011x4tf2.
- Wayne_Snyder sameAs Q18155616.
- Wayne_Snyder sameAs Q18155616.
- Wayne_Snyder wasDerivedFrom Wayne_Snyder?oldid=683007125.
- Wayne_Snyder isPrimaryTopicOf Wayne_Snyder.
- Wayne_Snyder name "Wayne Snyder".