Вы здесь

Snyder W.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automated Deduction with Constraints 1994 Snyder W. Lecture Notes in Computer Science 01.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