𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Elementary Recursion Theory and its Applications to Formal Systems

✍ Scribed by Kripke, Saul

Year
0
Tongue
English
Weight
695 KB
Category
Fiction

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Multicomponent diffusion theory and its
Multicomponent diffusion theory and its applications to polymer-solvent systems
✍ Peter E. Price Jr.; Ilyess Hadj Romdhane πŸ“‚ Article πŸ“… 2003 πŸ› American Institute of Chemical Engineers 🌐 English βš– 322 KB πŸ‘ 3 views

## Abstract Recent publications by Zielinski and Hanley and by Alsoy and Duda have proposed relationships between self‐ and mutual‐diffusion coefficients in multicomponent systems that can be derived from Bearman's friction‐based theory. Subsequently, Zielinski and Alsoy published an article callin

Formal energy of symplectic scheme for H
Formal energy of symplectic scheme for Hamiltonian systems and its applications (II)
✍ Yi-Fa Tang; Yong-Hong Long πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 553 KB

In this paper, for 4-fold and 8-fold compositions of symplectic schemes, the authors obtain the formulae for calculation of the first three terms of the power series in stepsize of their formal energies. Utilizing the special properties of revertible schemes, the authors construct higher order rever