Concepedia

Wayne Snyder

WS

13

Publications

674

Citations

12

H-Index

1968

Active since

Affiliations

Boston University(Current)

University of Pennsylvania

Tufts University

University of North Carolina at Chapel Hill

Rutgers, The State University of New Jersey

Wayne Snyder is an author at Boston University specializing in formal methods, engineering, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationProof ComplexitySoftware AnalysisSystems EngineeringFormal Specification

Publications per year

1968–2003

13

Publications

13

Basic Paramodulation

Leo Bachmair, Harald Ganzinger, Christopher S. Lynch et al. · Information and Computation · 1995 · 128 citations · Full text

Syntax, Engineering, Substructural Logic +11

Higher-order unification revisited: Complete sets of transformations

Wayne Snyder, Jean Gallier · Journal of Symbolic Computation · 1989 · 113 citations

Engineering, Higher-order Unification, Automated Reasoning +6

Complete sets of transformations for general E-unification

Jean Gallier, Wayne Snyder · Theoretical Computer Science · 1989 · 103 citations

Formal Specification, Engineering, Automated Reasoning +6

Theorem Proving Using Rigid E-Unification Equational Matings

Jean Gallier, Stan Raatz, Wayne Snyder · Logic in Computer Science · 1987 · 52 citations

Engineering, Automated Reasoning, Formal Methods +3

An algorithm for finding canonical sets of ground rewrite rules in polynomial time

Jean Gallier, Paliath Narendran, David A. Plaisted et al. · Journal of the ACM · 1993 · 44 citations · Full text

Mathematical Programming, Engineering, Simplification Steps +17

Rows per page

1–5 of 13