Skip navigation
   
 
Scholarly Communication
Contacts

Browse by Author

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Number of items: 3.

Zhang, Lan; Hustadt, Ullrich and Dixon, Clare (2014) A resolution calculus for branching-time temporal logic CTL. ACM Transactions on Computational Logic, 15 (1). Article Number: 10. ISSN 1557-945X (Online); 1529-3785 (Print)

Nalon, Claudia; Zhang, Lan; Dixon, Clare and Hustadt, Ullrich (2014) A resolution-based calculus for Coalition Logic. Journal of Logic and Computation, 24 (4). pp. 883-917. ISSN 1465-363X (Online); 0955-792X (Print)

Zhang, Lan (2010) Clausal reasoning for branching-time logics. Doctoral thesis, University of Liverpool.

This list was generated on Tue Sep 2 19:52:09 2014 BST.
   
Search


Full text only
Peer reviewed only

Browse
Cross Archive Search
Find
Top 50 authors
Top 50 items
[more statistics]
 
   

These pages are maintained by Library Staff @ University of Liverpool Library

 

All pages © The University of Liverpool, 2004 | Disclaimer | Accessibility | Staff | Students