WestminsterResearch

Items where Author is Combi, Carlo

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 and Basukoski, Artie (2004) A clausal resolution method for branching-time logic ECTL+. In: Combi, Carlo, (ed.) 11th International Symposium on Temporal Representation and Reasoning: (TIME 2004), Tatihou, Normandie, France, 1-3 July 2004. IEEE Computer Society, pp. 140-147. ISBN 076952155X

This list was generated on Thu Oct 30 23:33:50 2014 GMT.