Skip to main content »

Trinity College Dublin

Dublin University Crest Computer Science Department > Andrew Butterfield Trinity College Crest
 Research
 
 Publications
 Community
 Teaching
 Administration
 FMG
  

Andrew Butterfield's μ-Challenges

Here is a collection of small formal/logic challenges that you might like to try your hand at. These all have arisen naturally in the course of my research work.
  1. Tricky Termination (posted 2008-10-31 09:14)
Email  WebAdmin @ cs.tcd.ie
Trinity College Dublin, College Green, Dublin 2.
Central Switchboard: +353 1 896 1000.