Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Kenneth McAloon
Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Related publications
Context-Free Languages, Groups, the Theory of Ends, Second-Order Logic, Tiling Problems, Cellular Automata, and Vector Addition Systems
Bulletin of the American Mathematical Society
Mathematics
Applied Mathematics
Hyper-Ackermannian Bounds for Pushdown Vector Addition Systems
Decision Problems for 3-Manifolds and Their Fundamental Groups
Using Term Rewriting to Solve Bit-Vector Arithmetic Problems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conjugate Powers in HNN Groups
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Catalytic P Systems, Semilinear Sets, and Vector Addition Systems
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Age-Independent and Age-Dependent Neural Substrate for Single-Digit Multiplication and Addition Arithmetic Problems
Developmental Neuropsychology
Developmental
Physiological Psychology
Neuropsychology
Educational Psychology
On One Relator Groups and HNN Extensions
Journal of the Australian Mathematical Society
A Programming Language Theorem Which Is Independent of Peano Arithmetic
