×

zbMATH — the first resource for mathematics

Raatz, Stan

Compute Distance To:
Author ID: raatz.stan Recent zbMATH articles by "Raatz, Stan"
Published as: Raatz, Stan
Documents Indexed: 7 Publications since 1987, including 1 Book

Publications by Year

Citations contained in zbMATH Open

5 Publications have been cited 39 times in 39 Documents Cited by Year
Theorem proving using equational matings and rigid \(E\)-unification. Zbl 0799.68171
Gallier, Jean; Narendran, Paliath; Raatz, Stan; Snyder, Wayne
14
1992
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
Extending SLD resolution to equational Horn clauses using E-unification. Zbl 0668.68111
Gallier, Jean H.; Raatz, Stan
9
1989
Hornlog: A graph-based interpreter for general Horn clauses. Zbl 0641.68145
Gallier, Jean H.; Raatz, Stan
5
1987
Induction in an abstraction space: A form of constructive induction. Zbl 0709.68048
Drastal, George; Czako, Gabor; Raatz, Stan
1
1989
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
Theorem proving using equational matings and rigid \(E\)-unification. Zbl 0799.68171
Gallier, Jean; Narendran, Paliath; Raatz, Stan; Snyder, Wayne
14
1992
Extending SLD resolution to equational Horn clauses using E-unification. Zbl 0668.68111
Gallier, Jean H.; Raatz, Stan
9
1989
Induction in an abstraction space: A form of constructive induction. Zbl 0709.68048
Drastal, George; Czako, Gabor; Raatz, Stan
1
1989
Hornlog: A graph-based interpreter for general Horn clauses. Zbl 0641.68145
Gallier, Jean H.; Raatz, Stan
5
1987

Citations by Year