Bolotov, Alexander and Basukoski, Artie (2006) A clausal resolution method for extended computation tree logic ECTL. Journal of Applied Logic, 4 (2). pp. 141-167. ISSN 1570-8683
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1016/j.jal.2005.06.003
| Item Type: | Article |
|---|---|
| Research Community: | University of Westminster > Electronics and Computer Science, School of |
| ID Code: | 3577 |
| Deposited On: | 27 Feb 2007 |
| Last Modified: | 14 Oct 2009 10:17 |
Repository Staff Only: item control page
