WestminsterResearch will not be accepting deposits until 9th March 2015. This is to allow for a system upgrade and server migration.

Items where Author is Sattar, Abdul

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: Bolotov, A
Number of items: 1.

Bolotov, A

Bolotov, Alexander (2003) A clausal resolution for extended computation tree logic ECTL. In: Reynolds, Mark and Sattar, Abdul, (eds.) Proceedings of the Combined Tenth International Symposium on Temporal Representation and Reasoning and the Fourth International Conference on Temporal Logic: TIME-ICTL 2003 Cairns, Queensland, Australia, 8-10 July 2003. IEEE Computer Society, USA, pp. 107-117. ISBN 0769519121

This list was generated on Wed Mar 4 19:46:22 2015 GMT.