Bolotov, Alexander and Basukoski, Artie and Grigoriev, Oleg and Shangin, Vasilyi
Natural deduction calculus for linear-time temporal logic.
Logics in artificial intelligence: 10th European conference, JELIA 2006: Liverpool, UK September 13-15 2006: proceedings.
Lecture notes in computer science. Lecture notes in artificial intelligence
Springer, Berlin, Germany, pp. 56-68.
Full text not available from this repository.
Actions (login required)
||Edit Item (Repository staff only)