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
Subjects: University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)
Depositing User: Miss Nina Watts
Date Deposited: 27 Feb 2007
Last Modified: 14 Oct 2009 09:17
URI: http://westminsterresearch.wmin.ac.uk/id/eprint/3577

Actions (login required)

Edit Item (Repository staff only) Edit Item (Repository staff only)