-
Harry George Mairson is a
theoretical computer scientist and
professor of
computer science in the
Volen National Center for
Complex Systems at Brandeis...
-
compiler for a
fragment of the
Scheme programming language.
Bawden and
Mairson (1998)
describe the
design of a
distributed implementation in
which the...
- and
Olivier Danvy.
After completing her doctorate, she
worked with
Harry Mairson in the
Logic and Com****tion
group at
Brandeis University in Boston, and...
-
Surajit Chaudhuri Dan
Hirschberg Anna
Karlin Kevin Karplus David Maier Harry Mairson Alberto O.
Mendelzon Jeffrey F.
Naughton Anand Rajaraman Yehoshua Sagiv...
- JSTOR 2312726.
Archived from the
original on 2017-09-25.
Retrieved 2019-11-20.
Mairson,
Harry (1992). "The
stable marriage problem". The
Brandeis Review. 12....
- JSTOR 2312726.
Archived from the
original on
September 25, 2017.
Harry Mairson: "The
Stable Marriage Problem", The
Brandeis Review 12, 1992 (online)....
-
problem is not
elementary recursive, a
proof that was
later simplified by
Mairson. The
problem is
known to be in the set E 4 {\displaystyle {\mathcal {E}}^{4}}...
- book}}: |journal=
ignored (help) Hillebrand, Gerd G; Kanellakis,
Paris C;
Mairson,
Harry G; Vardi,
Moshe Y (1995-11-01). "Undecidable
boundedness problems...
- Comte.
Mairson C.
Bezerra Airport (IATA: JAW, ICAO: SNAB) is the
airport serving Araripina, Brazil. The
airport is
located 6 km (4 mi) from
downtown Araripina...
-
Bartholomeu de Gusmão
State Airport Rede Voa
Araripina PE SNAB JAW PE0009 Comte.
Mairson C.
Bezerra Airport Araxá MG SBAX AAX MG0008
Romeu Zema
Airport Aripuanã...
