WestminsterResearch

A clausal resolution method for extended computation tree logic ECTL

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