Matthew Harrison‐Trainor

Statistics

Publications

Citations

155

H-Index

Active since

2015

Affiliations

University of California, Berkeley(Current)

Massey University

Victoria University of Wellington

Kazan Federal University

Nanyang Technological University

Matthew Harrison‐Trainor is an author at University of California, Berkeley specializing in engineering, computer science, and computational complexity.

Top concepts

EngineeringComputer ScienceAutomated ReasoningComputational ComplexityFormal MethodsSyntaxEntropyLanguageLinguisticsProbability

Publications per year

2015–2023

Publications

AUTOMATIC AND POLYNOMIAL-TIME ALGEBRAIC STRUCTURES

Nikolay Bazhenov, Matthew Harrison‐Trainor, I. Sh. Kalimullin et al. · Journal of Symbolic Logic · 2019 · 28 citations · Full text

Engineering, Algebraic Structure, Automatic Structure +17

COMPUTABILITY OF POLISH SPACES UP TO HOMEOMORPHISM

Matthew Harrison‐Trainor, Alexander Melnikov, Keng Meng Ng · Journal of Symbolic Logic · 2020 · 27 citations

Stone Duality, Set-theoretic Topology, Ordered Group +5

Independence in computable algebra

Matthew Harrison‐Trainor, Alexander Melnikov, Antonio Montalbán · Journal of Algebra · 2015 · 20 citations

Algebraic Logic, Engineering, Automated Reasoning +4

THE LOGIC OF COMPARATIVE CARDINALITY

Yifeng Ding, Matthew Harrison‐Trainor, Wesley H. Holliday · Journal of Symbolic Logic · 2020 · 17 citations

Algebraic Logic, Engineering, Automated Reasoning +11

Graphs are not universal for online computability

Rodney G. Downey, Matthew Harrison‐Trainor, I. Sh. Kalimullin et al. · Journal of Computer and System Sciences · 2020 · 16 citations

Engineering, Graph Theory, Computational Complexity +6

1–5 of 9