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
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
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/5677

Actions (login required)

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