Complexity and Uniformity of Elimination in Presburger Arithmetic | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Weispfenning V.

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

1

Колл. автор:

Вид:

Препринт

Год:

1997

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

сложность

Стр.:

18 p.

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

Bibliogr.: p.12-13

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

Номер:

MIP-9703

Карточка:

Б2.1, Б4.1.

Weispfenning V..

Complexity and Uniformity of Elimination in Presburger Arithmetic-Passau., 1997.-18 p.-(Препринт Univ.Passau №MIP-9703).
Bibliogr.: p.12-13

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

PREP2 435