Stan Raatz

Available identifiers

zbMath Open raatz.stanMaRDI QIDQ1188937

List of research outcomes

Publication	Date of Publication	Type
Theorem proving using equational matings and rigid E -unification	1994-11-13	Paper
An algorithm for finding canonical sets of ground rewrite rules in polynomial time	1993-05-16	Paper
Graph-based proof procedures for horn clauses	1993-01-23	Paper
Extending SLD resolution to equational horn clauses using E-unification	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3493257	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3811749	1988-01-01	Paper
HORNLOG: A graph-based interpreter for general Horn clauses	1987-01-01	Paper

Research outcomes over time

This page was built for person: Stan Raatz