A multi-branch narrowing: satisfiability and termination

Вы здесь

Автор:

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

Колл. автор:

Вид:

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

Год:

2000

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

Стр.:

P.1-11

Выпуск:

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

Bibliogr.: p.11

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

Источник:

Карточка:

Б2.23.

Anureev I. S..

A multi-branch narrowing: satisfiability and termination-Novosibirsk.// Joint Bull. of NCC and IIS, 2000.-P.1-11
Bibliogr.: p.11

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

ISI2 355