Skip to main content »

Trinity College Dublin

Dublin University Crest Computer Science Department > Andrew Butterfield Trinity College Crest

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 @