Stan Raatz

	1993
12		Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder: An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time. J. ACM 40(1): 1-16 (1993)
	1992
11		Jean H. Gallier, Paliath Narendran, Stan Raatz, Wayne Snyder: Theorem Proving Using Equational Matings and Rigid E-Unification. J. ACM 39(2): 377-429 (1992)
	1989
10		George Drastal, Gabor Czako, Stan Raatz: Induction in an Abstraction Space: A Form of Constructive Induction. IJCAI 1989: 708-712
9		George Drastal, Regine Meunier, Stan Raatz: Error Correction in Constructive Induction. ML 1989: 81-83
8		Jean H. Gallier, Stan Raatz: Extending SLD Resolution to Equational Horn Clauses using E-Unification. J. Log. Program. 6(1&2): 3-43 (1989)
	1988
7		Jean H. Gallier, Paliath Narendran, David A. Plaisted, Stan Raatz, Wayne Snyder: Finding Canonical Rewriting Systems Equivalent to a Finite Set of Ground Equations in Polynomial Time. CADE 1988: 182-196
6		Stan Raatz, Jean H. Gallier: A Relational Semantics for Logic Programming. ICLP/SLP 1988: 1024-1035
	1987
5		Jean H. Gallier, Stan Raatz, Wayne Snyder: Theorem Proving Using Rigid E-Unification Equational Matings LICS 1987: 338-346
4		Stan Raatz, George Drastal: Patterns of interaction in rule-based expert system programming. Computational Intelligence 3: 107-116 (1987)
3		Jean H. Gallier, Stan Raatz: Hornlog: A Graph-Based Interpreter for General Horn Clauses. J. Log. Program. 4(2): 119-155 (1987)
	1986
2		Jean H. Gallier, Stan Raatz: SLD-Resolution Methods for Horn Clauses with Equality Based on E-Unification. SLP 1986: 168-179
	1985
1		Jean H. Gallier, Stan Raatz: Logic Programming and Graph Rewriting. SLP 1985: 208-219

Coauthor Index

1	Gabor Czako	[10]
2	George Drastal	[4] [9] [10]
3	Jean H. Gallier	[1] [2] [3] [5] [6] [7] [8] [11] [12]
4	Regine Meunier	[9]
5	Paliath Narendran	[7] [11] [12]
6	David A. Plaisted	[7] [12]
7	Wayne Snyder	[5] [7] [11] [12]

Colors in the list of coauthors

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page