Concepedia

Henry Towsner

HT

5

Publications

215

Citations

5

H-Index

2009

Active since

Affiliations

University of Pennsylvania(Current)

University of California, Los Angeles

Carnegie Mellon University

Henry Towsner is an author at University of Pennsylvania specializing in graph theory, discrete mathematics, and automated reasoning.

Top concepts

Graph TheoryDiscrete MathematicsLanguageSemanticsEngineeringLinguisticsProbabilityFormal MethodsFormal SemanticsProof Complexity

Publications per year

2009–2016

5

Publications

5

Local stability of ergodic averages

Jeremy Avigad, Philipp Gerhardy, Henry Towsner · Transactions of the American Mathematical Society · 2009 · 93 citations · Full text

SEPARATING PRINCIPLES BELOW RAMSEY'S THEOREM FOR PAIRS

Manuel Lerman, Reed Solomon, Henry Towsner · Journal of Mathematical Logic · 2013 · 54 citations

Constructive Mathematics, Graph Theory, Big Five +10

<i>σ</i>‐algebras for quasirandom hypergraphs

Henry Towsner · Random Structures and Algorithms · 2016 · 34 citations

Quasirandom Hypergraphs, Graph Theory, Dense Hypergraphs +6

An approximate logic for measures

Isaac Goldbring, Henry Towsner · Israel Journal of Mathematics · 2013 · 20 citations

Measure Theory, Engineering, Automated Reasoning +4

Functional interpretation and inductive definitions

Jeremy Avigad, Henry Towsner · Journal of Symbolic Logic · 2009 · 14 citations · Full text

Formal Semantics, Tree Language, Transfinite Recursion +12

Rows per page

1–5 of 5