The following pages link to Stan Raatz (Q1188937):
Displaying 7 items.
- Graph-based proof procedures for horn clauses (Q1188938) (← links)
- (Q3493257) (← links)
- HORNLOG: A graph-based interpreter for general Horn clauses (Q3782842) (← links)
- (Q3811749) (← links)
- Extending SLD resolution to equational horn clauses using E-unification (Q3821637) (← links)
- An algorithm for finding canonical sets of ground rewrite rules in polynomial time (Q4033833) (← links)
- Theorem proving using equational matings and rigid <i>E</i> -unification (Q4302815) (← links)
