Bolotov, Alexander, Grigoriev, Oleg and Shangin, Vasilyi (2007) Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL. In: Proceedings of the "Smirnov's Readings", VI International Conference (in Russian). Moscow State University, Moscow, Russia.Full text not available from this repository.
|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:||22 Jan 2009 14:42|
|Last Modified:||14 Oct 2009 09:16|
Actions (login required)
|Edit Item (Repository staff only)|