Bolotov, Alexander and 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-792X
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1093/logcom/12.4.561
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|
|Research Community:||University of Westminster > Electronics and Computer Science, School of|
|Deposited On:||22 Sep 2005|
|Last Modified:||14 Oct 2009 10:25|
Repository Staff Only: item control page