`Travelled to:`

6 × USA

`Collaborated with:`

J.H.Gallier W.Snyder G.Drastal R.Meunier P.Narendran D.A.Plaisted

`Talks about:`

program (2) rewrit (2) logic (2) equat (2) unif (2) construct (1) polynomi (1) theorem (1) resolut (1) equival (1)

## Person: Stan Raatz

### DBLP: Raatz:Stan

### Contributed to:

### Wrote 6 papers:

- ML-1989-DrastalMR #fault #induction
- Error Correction in Constructive Induction (GD, RM, SR), pp. 81–83.
- CADE-1988-GallierNPRS #canonical #equation #finite #polynomial #set #term rewriting
- Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time (JHG, PN, DAP, SR, WS), pp. 182–196.
- JICSCP-1988-RaatzG88 #logic programming #relational #semantics
- A Relational Semantics for Logic Programming (SR, JHG), pp. 1024–1035.
- LICS-1987-GallierRS #equation #proving #theorem proving #using
- Theorem Proving Using Rigid E-Unification Equational Matings (JHG, SR, WS), pp. 338–346.
- SLP-1986-GallierR86 #horn clause #similarity
- SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification (JHG, SR), pp. 168–179.
- SLP-1985-GallierR85 #graph grammar #logic programming
- Logic Programming and Graph Rewriting (JHG, SR), pp. 208–219.