Minimizing inconsistent instances of unrestricted comprehension.

Speaker(s) Peter Verdée
Date 18 December 2011
Place Wellington, New Zealand
Occasion Asian Logic Conference 2011
Category Contributed