WestminsterResearch
Login | Create Account

Items where Author is Gregoryev, O.

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Jump to: 2008
Number of items: 1.

2008

Bolotov, Alexander and Basukoski, Artie and 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 Mon May 20 19:44:56 2013 BST.
WestminsterResearch is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.