Concepedia

Stan Raatz

SR

7

Publications

284

Citations

7

H-Index

1986

Active since

Affiliations

Rutgers, The State University of New Jersey(Current)

University at Albany, State University of New York

University of Pennsylvania

Stan Raatz is an author at Rutgers, The State University of New Jersey specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceSyntaxLanguageSemanticsFormal VerificationLinguisticsMachine Learning

Publications per year

1986–1993

7

Publications

7

Induction in an abstraction space: a form of constructive induction

George Drastal, Gábor Czakó, Stan Raatz · International Joint Conference on Artificial Intelligence · 1989 · 67 citations

Artificial Intelligence, Engineering, Machine Learning +20

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

Theorem proving using equational matings and rigid <i>E</i> -unification

Jean Gallier, Paliath Narendran, Stan Raatz et al. · Journal of the ACM · 1992 · 41 citations · Full text

Algebraic Logic, Equational Matings, Engineering +12

Extending SLD resolution to equational horn clauses using E-unification

Jean Gallier, Stan Raatz · The Journal of Logic Programming · 1989 · 39 citations

Syntax, Engineering, Automated Reasoning +5

Rows per page

1–5 of 7