Combination of Unification Algorithms in Equational Theories

Вы здесь

Автор:

Herold A.

Количество экземпляров:

Колл. автор:

Univ. Kaiserslautern

Вид:

Препринт

Год:

1987

Ключевые слова:

унификация

Стр.:

176 p.

Библиография:

Bibliogr.: p.148-156.

Место издания:

Kaiserslautern

Номер:

SR-87-05

Карточка:

В2.11.

Herold A..

Combination of Unification Algorithms in Equational Theories-Kaiserslautern., 1987.-176 p.-(Препринт Univ. Kaiserslautern №SR-87-05).
Bibliogr.: p.148-156.

Таблица в старой библиотеке:

PREP2 502