Skip navigation
Scholarly Communication

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 . 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 Mon Nov 24 02:49:38 2014 GMT.

Full text only
Peer reviewed only

Cross Archive Search
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