Browse by People

Up a level
Export as [feed] Atom [feed] RSS [feed] RSSPD
Group by: Item Type | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

Bolotov, Alexander, Basukoski, Artie, Gregoryev, O. and Shangin, Vasilyi (2008) Natural deduction system for linear time temporal logic. In: Logical Investigations. Nauka, Moscow, pp. 17-95. ISBN 5020351520

This list was generated on Sat Dec 3 23:39:19 2016 GMT.