WestminsterResearch

Items where Author is Dixon, Clare

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] RSSPD [feed] Atom
Group by: Date | Item Type | Creators | No Grouping
Number of items: 3.

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

Dixon, Clare and Fisher, Michael and Bolotov, Alexander (2002) Clausal resolution in a logic of rational agency. Artificial Intelligence: an international journal, 139 (1). pp. 47-89. ISSN 0004-3702

Dixon, Clare and Bolotov, Alexander and Fisher, Michael (2005) Alternating automata and temporal logic normal forms. Annals of Pure and Applied Logic, 135 (1-3). pp. 263-285. ISSN 0168-0072

This list was generated on Fri Aug 22 23:04:01 2014 BST.