Tech Reports

2006

• • ULCS-06-004:
  • Paul E. Dunne
  • Computational properties of argument systems satisfying graph-theoretic constraints
• • ULCS-06-003:
  • Claudia Nalon and Clare Dixon
  • Anti-Prenexing and Prenexing for Modal Logics (Extended Version)
• • ULCS-06-002:
  • Tim Miller and Peter McBurney
  • Using Constraints and Process Algebra for Specification of First-Class Agent Interaction Protocols
• • ULCS-06-001:
  • Clare Dixon, Michael Fisher and Boris Konev
  • Is there a future for deductive temporal verification?

For each technical report listed here, copyright and all intellectual property rights remain with the respective authors. Copyright is effective from the year of publication in each case. By downloading a file from this page, you agree to use it only for purposes of research and scholarship. Any other use of this material or storage of it in any medium or its sale or distribution in any form is expressly forbidden without prior written permission from the authors concerned.