Average case analysis of unification algorithms | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Колл. автор:

Вид:

Препринт

Год:

1990

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

алгоритм

унификация

сложность

Стр.:

19 p.

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

Bibliogr.: p.17-19

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

Номер:

RR N 1213

Карточка:

Б2.12, В2.11.

Albert L., Casas R., Fages F., Zimmermann P..

Average case analysis of unification algorithms-Rocquencourt., 1990.-19 p.-(Препринт INRIA №RR N 1213).
Bibliogr.: p.17-19

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

PREP1 1