Designing tableau-like axiomization for Propositional Linear Temporal Logic at home of Arthur Prior | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2005

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

пропозициональный

временной

линейный

аксиоматизация

верификация

мю-исчисление

Стр.:

P.113-136

Выпуск:

23

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

Bibliogr.: p.130-131

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

Источник:

Bull. Novosibirsk Computing Center. Ser.: Computer Science

Карточка:

Б2.1.

Shilov N. V..

Designing tableau-like axiomization for Propositional Linear Temporal Logic at home of Arthur Prior-Novosibirsk.// Bull. Novosibirsk Computing Center. Ser.: Computer Science, 2005.-P.113-136
Bibliogr.: p.130-131

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

PAP30 663