Subrecursive hierarchies and provably computable functions in formal theories of arithmetic

License: In Copyright
Time
Owner Organization

More Like This

Dynamical effects in global and local supersymmetric theories

Dynamical effects in global and local supersymmetric theories

Static and dynamic properties of collective phenomena in systems composed of formal neurons

Static and dynamic properties of collective phenomena in systems composed of formal neurons

Functions of the RAD51 and RAD52 genes involved in genetic recombination in Saccharomyces cerevisiae

Functions of the RAD51 and RAD52 genes involved in genetic recombination in Saccharomyces cerevisiae

On properties of regular functions in Clifford analysis

On properties of regular functions in Clifford analysis

Vocal repertoire and the functions of vocalization in the rutting season in sika deer, Cervus nippon

Vocal repertoire and the functions of vocalization in the rutting season in sika deer, Cervus nippon

Menger manifolds and n-shape theories

Menger manifolds and n-shape theories

Origin of mass and strong coupling gauge theories (SCGT15) [electronic resource] : proceedings of ...

Origin of mass and strong coupling gauge theories (SCGT15) [electronic resource] : proceedings of ...

Formal Stone Pavement, stone and moss in front of the Main Entrance of the Old Shoin

Formal Stone Pavement, stone and moss in front of the Main Entrance of the Old Shoin

Functions of Fyn tyrosine kinase in adult brain : epileptogenesis, akinesia and learning ability in fyn-transgenic mice

Functions of Fyn tyrosine kinase in adult brain : epileptogenesis, akinesia and learning ability in fyn-transgenic mice

Synthesis, properties, and functions of novel poly(diphenylacetylenes) and related polymers

Synthesis, properties, and functions of novel poly(diphenylacetylenes) and related polymers

Formal Stone Pavement in front of the Waiting Bench

Formal Stone Pavement in front of the Waiting Bench

Studies on the Levi problem and the indicator of entire functions in infinite dimensional spaces

Studies on the Levi problem and the indicator of entire functions in infinite dimensional spaces

Algebraic structures and encryption functions

Algebraic structures and encryption functions

Lepton flavor violation in supersymmetric grand unified theories

Lepton flavor violation in supersymmetric grand unified theories

The structure and functions of the lysyl-tRNA synthetase of Bacillus stearothermophilus

The structure and functions of the lysyl-tRNA synthetase of Bacillus stearothermophilus

Trained Monkey in Formal Dress

Trained Monkey in Formal Dress

Illustrated Bugaku Dances in the Order of Formal Perfomance (Bugaku)

Illustrated Bugaku Dances in the Order of Formal Perfomance (Bugaku)

Computations of Zeros of Special Functions and Eigenvalues of Differential Equations by Matrix Method

Computations of Zeros of Special Functions and Eigenvalues of Differential Equations by Matrix Method

Formal models of dialogue participants

Formal models of dialogue participants

Design and synthesis of flavin receptors for regulation of catalytic functions via hydrogen bonding

Design and synthesis of flavin receptors for regulation of catalytic functions via hydrogen bonding

On a study of Hilbert functions and Betti numbers of Artinian Gorenstein graded algebras

On a study of Hilbert functions and Betti numbers of Artinian Gorenstein graded algebras

Administration Functions of Japanese Liaison Office

Administration Functions of Japanese Liaison Office

Transfer of Health Functions to Wards

Transfer of Health Functions to Wards

Biological functions of type 4 collagen

Biological functions of type 4 collagen

Last Updated:

Uploaded: 2020-12-17