Property Enumerators and a Partial Sum Theorem

2011-01-01T00:00:00Z (GMT) by Michael I. Shamos
Institute for Software Research