-
Larry Joseph Stockmeyer (1948 – 31 July 2004) was an
American computer scientist. He was one of the
pioneers in the
field of com****tional
complexity theory...
-
Leubsdorf married twice. His
first wife was
Carolyn (née Cleveland)
Stockmeyer, a
widowed mother of four
children who
served as the
finance communications...
-
classes NP and co-NP. The
concept of an ATM was set
forth by
Chandra and
Stockmeyer and
independently by
Kozen in 1976, with a
joint journal publication in...
- 1991. He
retired from MIT in 2016. Meyer's
seminal works include Meyer &
Stockmeyer (1972),
which introduced the
polynomial hierarchy. He has
supervised numerous...
- accept. The
model was
introduced by Chandra,
Kozen and
Stockmeyer. Ladner,
Lipton and
Stockmeyer proved that this
model is
equivalent to
EXPTIME i.e. a...
- p399 Hopcroft,
Ullman (1979),
Theorem 13.15, p.351 A.R.
Meyer & L.J.
Stockmeyer (Oct 1972). The
Equivalence Problem for
Regular Expressions with Squaring...
-
Dominating set
Gallai 1959.
Vazirani 2003, pp. 121–122 Garey,
Johnson &
Stockmeyer 1974
Garey &
Johnson 1977;
Garey &
Johnson 1979, pp. 190 and 195. Chen...
- the input. This
appears to have been
first demonstrated in Gurevich,
Stockmeyer &
Vishkin (1984). The
first systematic work on
parameterized complexity...
-
Sater 2007, p. 7
Sater 2007, p. 24
Sater 2007, p. 89
Sater 2007, p. 106
Stockmeyer,
Valentina Verbal (2014). "El ejército de
Chile en vísperas de la Guerra...
- \mathbb {N} }\Delta _{k}^{\mathrm {P} }} PH was
first defined by
Larry Stockmeyer. It is a
special case of
hierarchy of
bounded alternating Turing machine...