dblp.uni-trier.dewww.uni-trier.de

Stan Raatz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1993
12EEJean 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
11EEJean 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
7EEJean 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)