Stan Raatz
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1987–1989
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1989 | ICML | Error Correction in Constructive Induction. | George Drastal, Regine Meunier, Stan Raatz |
| 1989 | IJCAI | Induction in an Abstraction Space: A Form of Constructive Induction. | George Drastal, Gabor Czako, Stan Raatz |
| 1988 | CADE | Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time. | Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder |
| 1988 | ICLP | A Relational Semantics for Logic Programming. | Stan Raatz, Jean H. Gallier |
| 1987 | LICS | Theorem Proving Using Rigid E-Unification Equational Matings | Jean H. Gallier, Stan Raatz, Wayne Snyder |