Automata-Driven Efficient Subterm Unification | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Ramakrishnan I. V.

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

1

Вид:

Статья из сборника или журнала

Год:

1994

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

унификация

алгоритм

Стр.:

P.288-299.

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

Bibliogr.: p.299.

Издательство:

Источник:

Lecture Notes in Computer Science

Том:

880

Карточка:

В2.11.

Ramesh R., Ramakrishnan I. V., Sekar R. C..

Automata-Driven Efficient Subterm Unification: Springer// Lecture Notes in Computer Science-1994.-Vol. 880.-P.288-299.
Bibliogr.: p.299.

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

PAP10 692