Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTLтезисы доклада

Работа с тезисами доклада


[1] Bolotov A. E., Grigoriev O. M., Shangin V. O. Buy one get two free: a simpler formulation of natural deduction for computation tree logic ctl // Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года. — Смирновские чтения по логике. — ИФРАН Москва, 2007. — P. 44–46.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть