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
