A decision procedure for propositional projection tempotal logic with infinite models | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

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

1

Вид:

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

Год:

2008

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

темпоральная логика

выполнимость

принятие решений

алгоритм

нормальная форма

верификация

Стр.:

P.43-78

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

Bibliogr.: p.77-78

Источник:

Acta Informatica

Номер:

1

Том:

45

Карточка:

Б2.1, Б2.2.

Duan Zh., Tian C., Li Zh..

A decision procedure for propositional projection tempotal logic with infinite models// Acta Informatica-2008, №1.-Vol. 45.-P.43-78
Bibliogr.: p.77-78

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

PAP31 176