Amanote Research

Amanote Research

    RegisterSign In

On Simple Goedel Numberings and Translations

SIAM Journal on Computing - United States
doi 10.1137/0204001
Full Text
Open PDF
Abstract

Available in full text

Categories
MathematicsComputer Science
Date

March 1, 1975

Authors
J. HartmanisT. P. Baker
Publisher

Society for Industrial & Applied Mathematics (SIAM)


Related search

Separating Two Simple Polygons by a Sequence of Translations

Discrete and Computational Geometry
CombinatoricsMathematicsGeometryDiscrete MathematicsComputational TheoryTopologyTheoretical Computer Science
1988English

Numberings Optimal for Learning

Journal of Computer and System Sciences
Computer NetworksApplied MathematicsCommunicationsComputational TheoryMathematicsTheoretical Computer Science
2010English

Topological Aspects of Numberings

Mathematical Logic Quarterly
Logic
2003English

Assembly Partitioning Along Simple Paths: The Case of Multiple Translations

Advanced Robotics
ControlSystems EngineeringHuman-Computer InteractionHardwareComputer Science ApplicationsArchitectureSoftware
1996English

Note on Style and Translations

2019English

Note on Translations

2015English

Translations and Turkey

Nature
Multidisciplinary
1991English

Translations

Joelho Revista de Cultura Arquitectonica
2013English

Translations

European Journal of Cultural Studies
ArtsEducationCultural StudiesHumanities
2005English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy