WestminsterResearch

Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL

Bolotov, Alexander and 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
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:5677
Deposited On:22 Jan 2009 14:42
Last Modified:14 Oct 2009 10:16

Repository Staff Only: item control page