Infinite sets that admit fast exhaustive search

Research output: Contribution to conference (unpublished)Paper

Colleges, School and Institutes

Details

Original languageEnglish
Pages443-452
Number of pages10
Publication statusPublished - 10 Jul 2007
Event22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), University of Wroclaw, Poland, 10-14 July 2007 -
Duration: 10 Jul 2007 → …

Conference

Conference22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), University of Wroclaw, Poland, 10-14 July 2007
Period10/07/07 → …