| 2007 |
|---|
| 5 | | Alexander Bolotov,
Oleg Grigoriev,
Vasilyi Shangin:
A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic.
IICAI 2007: 1253-1266 |
| 4 | EE | Alexander Bolotov,
Oleg Grigoriev,
Vasilyi Shangin:
Automated Natural Deduction for Propositional Linear-Time Temporal Logic.
TIME 2007: 47-58 |
| 2006 |
|---|
| 3 | EE | Alexander Bolotov,
Artie Basukoski,
Oleg Grigoriev,
Vasilyi Shangin:
Natural Deduction Calculus for Linear-Time Temporal Logic.
JELIA 2006: 56-68 |
| 2 | EE | Alexander Bolotov,
Oleg Grigoriev,
Vasilyi Shangin:
Natural Deduction Calculus for Computation Tree Logic.
John Vincent Atanasoff Symposium 2006: 175-183 |
| 2005 |
|---|
| 1 | | Alexander Bolotov,
Vyacheslav Bocharov,
Alexander Gorchakov,
Vasilyi Shangin:
Automated First Order Natural Deduction.
IICAI 2005: 1292-1311 |
