Cargando…

Cycling in proofs, feasibility and no speed-up for nonstandard arithmetic

Detalles Bibliográficos
Autor principal:	Carbone, A
Lenguaje:	eng
Publicado:	1996
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/311047

Ejemplares similares

Nonstandard models of arithmetic and set theory
por: Enayat, Ali, et al.
Publicado: (2004)

Nonstandard analysis
por: Väth, Martin
Publicado: (2007)

Nonstandard analysis in practice
por: Diener, Francine, et al.
Publicado: (1995)

Nonstandard methods of analysis
por: Kusraev, Anatoly G, et al.
Publicado: (1994)

Applied nonstandard analysis
por: Davis, Martin
Publicado: (1977)

The Strength of Nonstandard Analysis
por: Berg, Imme van den, et al.
Publicado: (2007)

Nonstandard analysis, axiomatically
por: Kanovei, Vladimir, et al.
Publicado: (2004)

Nonstandard asymptotic analysis
por: Berg, Imme
Publicado: (1987)

An introduction to nonstandard real analysis
por: Hurd, Albert Emerson, et al.
Publicado: (1985)

Victoria Symposium on Nonstandard Analysis
por: Hurd, Albert, et al.
Publicado: (1974)

Methods of solving nonstandard problems
por: Grigorieva, Ellina
Publicado: (2015)

Nonstandard analysis for the working mathematician
por: Loeb, Peter, et al.
Publicado: (2015)

Nonstandard analysis for the working mathematician
por: Loeb, Peter, et al.
Publicado: (2000)

Nonstandard analysis and vector lattices
por: Kutateladze, S
Publicado: (2000)

Nonstandard analysis and its applications
por: Cutland, Nigel
Publicado: (1989)

Nonstandard analysis-recent developments
por: Hurd, Albert
Publicado: (1983)

Graphs and networks: transfinite and nonstandard
por: Zemanian, Armen H
Publicado: (2004)

Nonstandard methods in fixed point theory
por: Aksoy, Asuman G√ºven, et al.
Publicado: (1990)

Evolution PDEs with nonstandard growth conditions: existence, uniqueness, localization, blow-up
por: Antontsev, Stanislav, et al.
Publicado: (2015)

Lectures on the hyperreals: an introduction to nonstandard analysis
por: Goldblatt, Robert
Publicado: (1998)

Nonstandard methods in commutative harmonic analysis
por: Gordon, E I
Publicado: (1997)

Nonstandard methods in stochastic analysis and mathematical physics
por: Albeverio, Sergio, et al.
Publicado: (1986)

Nonstandard analysis: a practical guide with applications
por: Lutz, Robert, et al.
Publicado: (1981)

Nonstandard methods in Ramsey theory and combinatorial number theory
por: Di Nasso, Mauro, et al.
Publicado: (2019)

Nonstandard methods and applications in mathematics: lecture notes in logic 25
por: Cutland, Nigel J, et al.
Publicado: (2006)

NATO Advanced Study Institute on Nonstandard Analysis and its Applications
por: Arkeryd, Leif, et al.
Publicado: (1997)

Advances in analysis, probability and mathematical physics: contributions of nonstandard analysis
por: Albeverio, Sergio, et al.
Publicado: (1995)

Reuniting the Antipodes : Constructive and Nonstandard Views of the Continuum : Symposium Proceedings
por: Schuster, Peter, et al.
Publicado: (2001)

Arithmetic
por: Peirce, Charles S, et al.
Publicado: (1976)

Arithmetics
por: Hindry, Marc
Publicado: (2011)

Towards an arithmetical logic: the arithmetical foundations of logic
por: Gauthier, Yvon
Publicado: (2015)

Arithmetic Riemann-Roch theorem for singular arithmetic surfaces
por: Aitken, Wayne
Publicado: (1996)

Arithmetic and ontology: a non-realist philosophy of arithmetic
por: Hugly, Philip, et al.
Publicado: (2006)

Advanced arithmetic for the digital computer: design of arithmetic units
por: Kulisch, Ulrich W
Publicado: (2002)

Arithmetical functions
por: Chandrasekharan, K
Publicado: (1970)

The arithmetic of infinitesimals
por: Wallis, John
Publicado: (2004)

Field Arithmetic
por: Fried, Michael D, et al.
Publicado: (2008)

Field arithmetic
por: Fried, Michael D
Publicado: (2006)

Quantization and arithmetic
por: Unterberger, Andre
Publicado: (2008)

Arithmetic Tales
por: Bordellès, Olivier
Publicado: (2012)

Cannot write session to /tmp/vufind_sessions/sess_eero854e6cnb1c9i61v8cbeh0k