BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Raatz:Stan

Contributed to:

ML 19891989
CADE 19881988
ICLP/SPL 19881988
LICS 19871987
SLP 19861986
SLP 19851985

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.