Harry Mairson
Harry George Mairson is a theoretical computer scientist and Professor of Computer Science in the Volen National Center for Complex Systems at Brandeis University in Waltham, Massachusetts. His research is in the fields of logic in computer science, lambda calculus and functional programming, type theory and constructive mathematics, computational complexity theory, and algorithmics.
doctoral student
Link from a Wikipage to another Wikipage
doctoral students
primaryTopic
Harry Mairson
Harry George Mairson is a theoretical computer scientist and Professor of Computer Science in the Volen National Center for Complex Systems at Brandeis University in Waltham, Massachusetts. His research is in the fields of logic in computer science, lambda calculus and functional programming, type theory and constructive mathematics, computational complexity theory, and algorithmics.
has abstract
Harry George Mairson is a theo ...... a reduction is non-elementary.
@en
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
948,156,231
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
comment
Harry George Mairson is a theo ...... xity theory, and algorithmics.
@en
label
Harry Mairson
@en