×

zbMATH — the first resource for mathematics

Snyder, Wayne

Compute Distance To:
Author ID: snyder.wayne Recent zbMATH articles by "Snyder, Wayne"
Published as: Snyder, Wayne; Snyder, W.
Documents Indexed: 18 Publications since 1987, including 1 Book

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 210 times in 175 Documents Cited by Year
Unification theory. Zbl 1011.68126
Baader, Franz; Snyder, Wayne
70
2001
Complete sets of transformations for general E-unification. Zbl 0686.68024
Gallier, Jean H.; Snyder, Wayne
19
1989
Higher-order unification revisited: Complete sets of transformations. Zbl 0682.03034
Snyder, Wayne; Gallier, Jean
19
1989
Basic paramodulation. Zbl 0833.68115
Bachmair, Leo; Ganzinger, Harald; Lynch, Christopher; Snyder, Wayne
18
1995
Basic paramodulation and superposition. Zbl 0925.03052
Bachmair, Leo; Ganzinger, Harald; Lynch, Christopher; Snyder, Wayne
16
1992
Theorem proving using equational matings and rigid \(E\)-unification. Zbl 0799.68171
Gallier, Jean; Narendran, Paliath; Raatz, Stan; Snyder, Wayne
14
1992
A fast algorithm for generating reduced ground rewriting systems from a set of ground equations. Zbl 0804.68072
Snyder, Wayne
12
1993
An algorithm for finding canonical sets of ground rewrite rules in polynomial time. Zbl 0779.68050
Gallier, Jean; Narendran, Paliath; Plaisted, David; Raatz, Stan; Snyder, Wayne
10
1993
A proof theory for general unification. Zbl 0746.03011
Snyder, Wayne
8
1991
A general complete E-unification procedure. Zbl 0641.68045
Gallier, Jean H.; Snyder, Wayne
8
1987
Rigid E-unification: NP-completeness and applications to equational matings. Zbl 0709.68080
Gallier, Jean; Narendran, Paliath; Plaisted, David; Snyder, Wayne
6
1990
Redundancy criteria for constrained completion. Zbl 0873.68189
Lynch, Christopher; Snyder, Wayne
4
1995
Fast algorithms for uniform semi-unification. Zbl 1137.68630
Oliart, Alberto; Snyder, Wayne
3
2004
Designing unification procedures using transformations: A survey. Zbl 0744.68112
Gallier, Jean H.; Snyder, Wayne
2
1990
On the complexity of recursive path orderings. Zbl 0778.68045
Snyder, Wayne
1
1993
Fast algorithms for uniform semi-unification. Zbl 1137.68630
Oliart, Alberto; Snyder, Wayne
3
2004
Unification theory. Zbl 1011.68126
Baader, Franz; Snyder, Wayne
70
2001
Basic paramodulation. Zbl 0833.68115
Bachmair, Leo; Ganzinger, Harald; Lynch, Christopher; Snyder, Wayne
18
1995
Redundancy criteria for constrained completion. Zbl 0873.68189
Lynch, Christopher; Snyder, Wayne
4
1995
A fast algorithm for generating reduced ground rewriting systems from a set of ground equations. Zbl 0804.68072
Snyder, Wayne
12
1993
An algorithm for finding canonical sets of ground rewrite rules in polynomial time. Zbl 0779.68050
Gallier, Jean; Narendran, Paliath; Plaisted, David; Raatz, Stan; Snyder, Wayne
10
1993
On the complexity of recursive path orderings. Zbl 0778.68045
Snyder, Wayne
1
1993
Basic paramodulation and superposition. Zbl 0925.03052
Bachmair, Leo; Ganzinger, Harald; Lynch, Christopher; Snyder, Wayne
16
1992
Theorem proving using equational matings and rigid \(E\)-unification. Zbl 0799.68171
Gallier, Jean; Narendran, Paliath; Raatz, Stan; Snyder, Wayne
14
1992
A proof theory for general unification. Zbl 0746.03011
Snyder, Wayne
8
1991
Rigid E-unification: NP-completeness and applications to equational matings. Zbl 0709.68080
Gallier, Jean; Narendran, Paliath; Plaisted, David; Snyder, Wayne
6
1990
Designing unification procedures using transformations: A survey. Zbl 0744.68112
Gallier, Jean H.; Snyder, Wayne
2
1990
Complete sets of transformations for general E-unification. Zbl 0686.68024
Gallier, Jean H.; Snyder, Wayne
19
1989
Higher-order unification revisited: Complete sets of transformations. Zbl 0682.03034
Snyder, Wayne; Gallier, Jean
19
1989
A general complete E-unification procedure. Zbl 0641.68045
Gallier, Jean H.; Snyder, Wayne
8
1987
all top 5

Cited by 236 Authors

8 Vágvölgyi, Sándor
7 Meseguer Guaita, José
7 Schmidt-Schauß, Manfred
6 Nieuwenhuis, Robert
6 Snyder, Wayne
5 Alpuente, María
5 Baader, Franz
5 Bonacina, Maria Paola
5 Escobar, Santiago
5 Kutsia, Temur
5 Motik, Boris
5 Voronkov, Andrei
4 Godoy, Guillem
4 Johann, Patricia
4 Peltier, Nicolas
3 Ballis, Demis
3 Comon, Hubert
3 Degtyarev, Anatoli Ivanovich
3 Dougherty, Daniel J.
3 Fernández, Maribel
3 Frechina, Francisco
3 Gallier, Jean H.
3 Ghilardi, Silvio
3 Kapur, Deepak
3 Lynch, Christopher A.
3 Morawska, Barbara
3 Rubio, Albert
3 Rybakov, Vladimir Vladimirovich
3 Sapiña, Julia
2 Ayala-Rincón, Mauricio
2 Backeman, Peter
2 Banerjee, Rabindra N.
2 Beckert, Bernhard
2 Bujosa, Andrés
2 Cabrer, Leonardo Manuel
2 de Moura, Leonardo
2 Dowek, Gilles
2 Echenim, Mnacho
2 Furbach, Ulrich
2 Gascón, Adrià
2 Gurevich, Yuri
2 Hoche, Michael
2 Hölldobler, Steffen
2 Horrocks, Ian
2 Hustadt, Ullrich
2 Iemhoff, Rosalie
2 Jouannaud, Jean-Pierre
2 Kirchner, Claude
2 Kirchner, Hélène
2 Kohlhase, Michael
2 Marin, Mircea
2 Meadows, Catherine A.
2 Narendran, Paliath
2 Nishida, Naoki
2 Pérez-Urbina, Héctor
2 Ringeissen, Christophe
2 Rümmer, Philipp
2 Sattler, Ulrike
2 Sobrinho, Daniele Nantes
2 Stuber, Jürgen
2 Tinelli, Cesare
2 Tiwari, Ashish Kumar
2 Tran, Duc-Khanh
2 Veanes, Margus
2 Vigneron, Laurent
1 Akutsu, Tatsuya
1 Albert, Luc
1 Alonso, José-Antonio
1 Andrews, Peter B.
1 Anis, Altug
1 Baaz, Matthias
1 Babenyshev, Sergey
1 Balbiani, Philippe
1 Barrett, Clark W.
1 Bashmakov, Stepan Igorevich
1 Baumgartner, Peter
1 Becher, Gérard
1 Becker, Bernd
1 Bensaid, Hicham
1 Bibel, Wolfgang
1 Binh, Nguyen Thanh
1 Bishop, Matthew
1 Bjørner, Nikolaj S.
1 Blanchette, Jasmin Christian
1 Bofill, Miquel
1 Böhme, Sascha
1 Borgwardt, Stefan
1 Borovanský, Peter
1 Boudet, Alexandre
1 Bova, Simone
1 Boy de la Tour, Thierry
1 Breazu-Tannen, Val
1 Brüning, Stefan
1 Burghardt, Jochen
1 Byrd, William E.
1 Calvès, Christophe
1 Casas, Rafael
1 Cavagnetto, Stefano
1 Cerna, David M.
1 Chadha, Rohit
...and 136 more Authors

Citations by Year