From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Adventures in Associative-Commutative Unification.

P. Lincoln, и J. Christian. J. Symb. Comput., 8 (1/2): 217-240 (1989)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Adventures in Associative-Commutative Unification (A Summary).P. Lincoln, и J. Christian. CADE, том 310 из Lecture Notes in Computer Science, стр. 358-367. Springer, (1988)Some Termination Criteria for Narrowing and E-Narrowing.J. Christian. CADE, том 607 из Lecture Notes in Computer Science, стр. 582-588. Springer, (1992)Fast Knuth-Bendix Completion: Summary.J. Christian. RTA, том 355 из Lecture Notes in Computer Science, стр. 551-555. Springer, (1989)Flatterms, Discrimination Nets, and Fast Term Rewriting.J. Christian. J. Autom. Reason., 10 (1): 95-113 (1993)Adventures in Associative-Commutative Unification.P. Lincoln, и J. Christian. J. Symb. Comput., 8 (1/2): 217-240 (1989)Oriented Non-Radial Basis Functions for Image Coding and Analysis.A. Saha, J. Christian, D. Tang, и C. lin Wu. NIPS, стр. 728-734. Morgan Kaufmann, (1990)