Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Teruyasu NISHIZAWA
A Proof of the Equivalence of Computability to Recursiveness With No Arithmetization
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
Experimental Study on Stresses Lntroduced in Handrail of Bridge Due to Snowfall
Journal of Snow Engineering of Japan
An Algebraic Proof of Kleene-Myhill's Equivalence Theorem
Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
Related publications
A Natural Axiomatization of Computability and Proof of Church's Thesis
Bulletin of Symbolic Logic
Philosophy
Logic
A New Proof of the Reidemeister-Singer Theorem on Stable Equivalence of Heegaard Splittings
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Arithmetization of the Field of Reals With Exponentiation Extended Abstract
RAIRO - Theoretical Informatics and Applications
Mathematics
Computer Science Applications
Software
Computability via the Lambda Calculus With Patterns
Journal of Mathematics Research
On the Arithmetization of Algebraic Geometry
Episodes in the History of Modern Algebra (1800–1950)
A New Proof of the Equivalence of the Hahn-Banach Extension and the Least Upper Bound Properties
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
A Proof of Andrews’ Conjecture on Partitions With No Short Sequences
Forum of Mathematics, Sigma
Statistics
Probability
Algebra
Combinatorics
Analysis
Number Theory
Geometry
Mathematical Physics
Discrete Mathematics
Computational Mathematics
Theoretical Computer Science
Topology
The Computability Path Ordering: The End of a Quest
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
