Raatz S.

Автор:

Вид	Название	Год	Автор	Источник	Дата поступления
СТ	A Relational Semantics for Logic Programming	1988	Raatz S., Gallier J.	Logic Programming: Proc./Fifth Intern.Conf. and Symp.	13.10.1994
СТ	An Algorithm for Finding Canonical Sets of Ground Rewrite Rules in Polynomial Time	1993	Gallier J., Narendran P., Plaisted D., Raatz S., Snyder W.	J. of the ACM	04.03.1993
СТ	Theorem Proving Using Equational Matings and Regid E-Unification	1992	Gallier J., Narendran P., Raatz S., Snyder W.	J. of the ACM	29.05.1992