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: 2.

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)

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

This list was generated on Thu Apr 24 21:32:33 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