Infinite sets that admit fast exhaustive search (2007)

by M Escardó
Venue:In: Proceedings of the 22nd Annual IEEE Symposium on Logic In Computer Science, IEEE Computer Society