H
Harry G. Mairson
Researcher at Brandeis University
Publications - 43
Citations - 1352
Harry G. Mairson is an academic researcher from Brandeis University. The author has contributed to research in topics: Linear logic & Computational complexity theory. The author has an hindex of 22, co-authored 43 publications receiving 1315 citations. Previous affiliations of Harry G. Mairson include Association for Computing Machinery & Boston University.
Papers
More filters
Proceedings Article
Undecidable Optimization Problems for Database Logic Programs
TL;DR: In this article, it was shown that the problem of deciding whether a given Datalog program is bounded is undecidable, even for linear programs (i.e., programs in which each rule contains at most one occurrence of a recursive predicate).
Proceedings ArticleDOI
Deciding ML typability is complete for deterministic exponential time
TL;DR: It is conjecture that lower bounds on deciding typability for extensions to the typed lambda calculus can be regarded precisely in terms of this expressive capacity for succinct function composition, which results in a proof of DEXPTIME-hardness.
Book ChapterDOI
Reporting and Counting Intersections Between Two Sets of Line Segments
Harry G. Mairson,Jorge Stolfi +1 more
TL;DR: This work considers the problem of computing all intersections between two sets S and T of line segments in the plane, where no two segments in S (similarly, T) intersect and presents an asymptotically optimal algorithm which reports all those intersections in O(n log n + k) time and O( n) space.
Journal ArticleDOI
Undecidable optimization problems for database logic programs
TL;DR: It is shown that the problem of deciding whether a given Datalog program is bounded is undecidable, even for linear programs (i.e., programs in which each rule contains at most one occurrence of a recursive predicate).
Journal ArticleDOI
Undecidable boundedness problems for datalog programs
TL;DR: New techniques for proving the undecidability of (various kinds of) boundedness are introduced, which allow for considerably strengthen the results of Gaifman et al.