Bolotov, Alexander, Fisher, Michael and Dixon, Clare (2002) On the relationship between w-automata and temporal logic normal forms. Journal of Logic and Computation, 12 (4). pp. 561-581. ISSN 0955-792XFull text not available from this repository.
We consider the relationship between w-automata and a specific logical formulation based on a normal form for temporal logic formulae. While this normal form was developed for use with execution and clausal resolution in temporal logics, we here show how it can represent, syntactically, w-automata in a high-level way. Technical proofs of the correctness of this representation are given.
|Additional Information:||Online ISSN 1465-363X|
|Subjects:||University of Westminster > Science and Technology > Electronics and Computer Science, School of (No longer in use)|
|Depositing User:||Users 4 not found.|
|Date Deposited:||22 Sep 2005|
|Last Modified:||14 Oct 2009 09:25|
Actions (login required)
|Edit Item (Repository staff only)|