WestminsterResearch

A clausal resolution method for branching-time logic ECTL+

Bolotov, Alexander and Basukoski, Artie (2006) A clausal resolution method for branching-time logic ECTL+. Annals of Mathematics and Artificial Intelligence, 46 (3). pp. 235-263. ISSN 1012-2443

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1007/s10472-006-9018-1


Item Type:Article
Additional Information:Online ISSN 1573-7470
Research Community:University of Westminster > Electronics and Computer Science, School of
ID Code:1452
Deposited On:04 May 2006
Last Modified:14 Oct 2009 10:17

Repository Staff Only: item control page