Stan Raatz
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Theorem proving using equational matings and rigid E -unification Journal of the ACM | 1994-11-13 | Paper |
| An algorithm for finding canonical sets of ground rewrite rules in polynomial time Journal of the ACM | 1993-05-16 | Paper |
| Graph-based proof procedures for horn clauses Progress in Computer Science and Applied Logic | 1993-01-23 | Paper |
| Extending SLD resolution to equational horn clauses using E-unification The Journal of Logic Programming | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4166886 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4080962 (Why is no real title available?) | 1988-01-01 | Paper |
| HORNLOG: A graph-based interpreter for general Horn clauses The Journal of Logic Programming | 1987-01-01 | Paper |
Research outcomes over time
This page was built for person: Stan Raatz
