Concepedia

Harry G. Mairson

HG

Statistics

Publications

24

Citations

837

H-Index

20

Active since

1977

Affiliations

Brandeis University(Current)

Brown University

IBM Research - Almaden

Institut de Recherche en Informatique et Systèmes Aléatoires

University of Bologna

Harry G. Mairson is an author at Brandeis University specializing in computer science, computing, and theory of computation.

Publications per year

1977–2008

24

Publications

24

Deciding ML typability is complete for deterministic exponential time

Harry G. Mairson · 1990 · 107 citations · Full text

Computing, Computer Science, Mathematics +15

Undecidable optimization problems for database logic programs

Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv et al. · Journal of the ACM · 1993 · 74 citations · Full text

Computing, Computer Science, Algorithms +6

Undecidable boundedness problems for datalog programs

Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson et al. · The Journal of Logic Programming · 1995 · 58 citations

Computing, Computer Science, Algorithms +12

A simple proof of a theorem of Statman

Harry G. Mairson · Theoretical Computer Science · 1992 · 51 citations

Natural Sciences, Mathematics, Probability Theory +3

Unification and ML-Type Reconstruction.

Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell · 1991 · 44 citations

Computing, Computer Science, Algorithms +8

1–5 of 24