Skip navigation
   
 
About
Deposit an Item
Deposit Guide
Policies
Copyright Awareness
Depositors Helpline

 
Scholarly Communication
Contacts

Browse by Author

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

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

This list was generated on Tue Jun 18 23:05:00 2013 BST.
    
Search


Full text only
Peer reviewed only
Simple Search
Advanced Search
Browse
By Author
By Subject
By Division
By Year
By Supervisor
Cross Archive Search
OAIster
Google Scholar
OpenDoar
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