WorldCat Identities

Hemachandra, Lane A.

Overview
Works: 4 works in 4 publications in 1 language and 11 library holdings
Roles: Author, Other
Classifications: QA76,
Publication Timeline
.
Most widely held works by Lane A Hemachandra
On sets with efficient implicit membership tests by Lane A Hemaspaandra( Book )
1 edition published in 1989 in German and held by 3 WorldCat member libraries worldwide
Abstract: "This paper completely characterizes the complexity of implicit membership testing in terms of the well-known complexity class OptP, optimization polynomial time, and concludes that many complex sets have polynomial-time implicit membership tests."
On sets polynomially enumerable by iteration by L. A Hemachandra( Book )
1 edition published in 1990 in German and held by 3 WorldCat member libraries worldwide
Abstract: "Sets whose members are enumerated by some Turing machine are called recursively enumerable. We define a set to be polynomially enumerable by iteration if its members are efficiently enumerated by iterated application of some Turing machine. We prove that many complex sets -- including all exponential-time complete sets, all NP-complete sets yet obtained by direct construction, and the complements of all such sets -- are polynomially enumerable by iteration. These results follow from more general results. In fact, we show that all recursively enumerable sets that are [formula] self-reducible are polynomially enumerable by iteration, and that all recursive sets that are [formula] self-reducible are bi-enumerable
On checking versus evaluation of multiple queries characteristic vector terseness by Lane A Hemachandra( Book )
1 edition published in 1988 in German and held by 3 WorldCat member libraries worldwide
Unambiguous computation may be better than determinism at simulating nondeterminism (extended abstract) by Gerhard Buntrock( Book )
1 edition published in 1988 in German and held by 2 WorldCat member libraries worldwide
 
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.40 (from 0.22 for On checkin ... to 0.47 for On sets po ...)
Languages
German (4)