Natural deduction calculus for linear-time temporal logic

Bolotov, Alexander and Basukoski, Artie and Grigoriev, Oleg and Shangin, Vasilyi (2006) Natural deduction calculus for linear-time temporal logic. In: 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 (4160). Springer, Berlin, Germany, pp. 56-68. ISBN 354039625X

Full text not available from this repository.
Official URL:
Item Type: Book Section
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 27 Feb 2007
Last Modified: 14 Oct 2009 09:18

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)