Wayne Snyder

http://dbpedia.org/resource/Wayne_Snyder an entity of type: Thing

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. rdf:langString
rdf:langString Wayne Snyder
rdf:langString Wayne Snyder
rdf:langString Wayne Snyder
xsd:integer 43939832
xsd:integer 1086427259
rdf:langString Complete Sets of Transformations for General Unification
xsd:integer 1988
rdf:langString John Henry, Matthew
rdf:langString Rich Hall
rdf:langString 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.
xsd:nonNegativeInteger 5784
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
<http://www.wikidata.org/entity/Q901>
<http://www.cs.bu.edu/~snyder/>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:American_computer_scientists>
<http://dbpedia.org/resource/Category:Theoretical_computer_scientists>
<http://dbpedia.org/resource/Ronald_V._Book>
<http://dbpedia.org/resource/Jean_Henri_Gallier>
<http://dbpedia.org/resource/Boston_University>
<http://dbpedia.org/resource/University_of_Pennsylvania>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Franz_Baader>
<http://dbpedia.org/resource/Andrei_Voronkov>
<http://dbpedia.org/resource/David_A._Plaisted>
<http://dbpedia.org/resource/Theoretical_Computer_Science_(journal)>
<http://dbpedia.org/resource/Category:American_computer_scientists>
<http://dbpedia.org/resource/Category:Theoretical_computer_scientists>
<http://dbpedia.org/resource/Tufts_University>
<http://dbpedia.org/resource/DBLP>
<http://dbpedia.org/resource/Nachum_Dershowitz>
<http://dbpedia.org/resource/J._ACM>
<http://dbpedia.org/resource/E-unification>
<http://dbpedia.org/resource/John_Alan_Robinson>
<http://dbpedia.org/resource/LNCS>
<http://dbpedia.org/resource/Augustan_poetry>
<http://dbpedia.org/resource/Automated_reasoning>
<http://dbpedia.org/resource/Yardley,_Pennsylvania>
<http://dbpedia.org/resource/Berklee_School_of_Music>
<http://cs-pub.bu.edu/fac/snyder/publications/groundcompletionJACMr.pdf>
<https://repository.upenn.edu/cgi/viewcontent.cgi%3Farticle=1816&context=cis_reports>
<https://repository.upenn.edu/cis_reports/630>
<http://www.cs.bu.edu/~snyder>
<http://www.cs.bu.edu/~snyder/>
<http://www.cs.bu.edu/~snyder/publications/UnifChapter.pdf%7C>
<http://www.cs.bu.edu/~snyder/pubs.html>
<http://dblp.uni-trier.de/pers/hd/s/Snyder:Wayne>
<http://rdf.freebase.com/ns/m.011x4tf2>
<http://yago-knowledge.org/resource/Wayne_Snyder>
<https://dblp.org/pid/s/WayneSnyder>
<http://www.wikidata.org/entity/Q18155616>
<https://global.dbpedia.org/id/kqoT>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Cite_book>
<http://dbpedia.org/resource/Template:Cite_journal>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Short_description>
<http://dbpedia.org/resource/Template:MathGenealogy>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://dbpedia.org/resource/Template:Compu-scientist-stub>
<http://www.cs.bu.edu/~snyder/>
<http://dbpedia.org/resource/Jean_Henri_Gallier>
<http://dbpedia.org/resource/Jean_Henri_Gallier>
<http://dbpedia.org/resource/Professor>
<http://en.wikipedia.org/wiki/Wayne_Snyder?oldid=1086427259&ns=0>
<http://en.wikipedia.org/wiki/Wayne_Snyder>

data from the linked data cloud