Workshop on Automated Reasoning
Bridging the Gap between Theory and Practice

 
 
 

 

ARW 2009 (University of Liverpool, 21st-22nd April 2009)

The Sixteenth Workshop on Automated Reasoning was held at University of Liverpool

Complete information about the workshop is also available from the ARW 2009 web site at the University of Liverpool

Proceedings

  • Abstracts of contributed talks
    [html]

Workshop Information

 
 
 

last modified on Monday, 18-May-2009 15:32:27 BST