Cargando…

Classical and new paradigms of computation and their complexity hierarchies: papers of the conference “foundations of the formal sciences III”

Detalles Bibliográficos
Autores principales:	Löwe, Benedikt, Piwinger, Boris, Räsch, Thoralf
Lenguaje:	eng
Publicado:	Springer 2004
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	https://dx.doi.org/10.1007/978-1-4020-2776-5 http://cds.cern.ch/record/1608901

Ejemplares similares

Applications of Mathematical Logic in Philosophy and Linguistics, Papers of a Conference
por: Löwe, Benedikt, et al.
Publicado: (2003)

Formal concept analysis: mathematical foundations
por: Ganter, Bernhard, et al.
Publicado: (1996)

Formal concept analysis: foundations and applications
por: Ganter, Bernhard, et al.
Publicado: (2005)

Five papers on logic and foundations
por: Ceitin, G S, et al.
Publicado: (1971)

Five papers on logic and foundations
por: Ceitin, G S, et al.
Publicado: (1972)

Model theory and the philosophy of mathematical practice: formalization without foundationalism
por: Baldwin, John T
Publicado: (2018)

Classic papers in combinatorics
por: Gessel, Ira, et al.
Publicado: (1987)

Maximum Entropy Formalism Conference
por: Levine, Raphael D, et al.
Publicado: (1979)

23rd International Conference on Foundations of Software Science and Computational Structures
por: Goubault-Larrecq, Jean, et al.
Publicado: (2020)

The chaotic foundations of classical nonequilibrium statistical mechanics
por: Dorfman, J R
Publicado: (1998)

Classical Mathematical Logic: The Semantic Foundations of Logic
por: Epstein, Richard L, et al.
Publicado: (2011)

Foundations of the classical theory of partial differential equations
por: Egorov, Yu V, et al.
Publicado: (1998)

Selected papers on classical analysis
por: Nomizu, Katsumi
Publicado: (2001)

Foundations of computational mathematics: selected papers of a conference held at Rio de Janeiro, January 1997
por: Cucker, Felipe, et al.
Publicado: (1997)

International Conference on Mathematical Sciences and Statistics 2013 : Selected Papers
por: Kilicman, Adem, et al.
Publicado: (2014)

Nine papers on foundations, measure theory and analysis
por: Fomin, S
Publicado: (1966)

Conference Formal and Analytic Solutions of Diff. Equations
por: Filipuk, Galina, et al.
Publicado: (2018)

Mathematical foundation of computer science
por: Singh, YN
Publicado: (2005)

Foundation mathematics for the physical sciences
por: Riley, K F, et al.
Publicado: (2011)

Mathematical foundation for computer science
por: Vashanti, M
Publicado: (2013)

New computational paradigms: changing conceptions of what is computable
por: Cooper, SB, et al.
Publicado: (2007)

Mathematical foundation of geodesy: selected papers of Torben Krarup
por: Borre, K, et al.
Publicado: (2006)

International Conference on Foundations of Statistical Mechanics
Publicado: (2000)

Mathematical logic: foundations for information science
por: Li, Wei
Publicado: (2014)

Mathematical paradigms of climate science
por: Ancona, Fabio, et al.
Publicado: (2016)

Applied Bayesian and classical inference: the case of the federalist papers
por: Mosteller, Frederick, et al.
Publicado: (1984)

Beyond Geometry: Classic Papers from Riemann to Einstein
por: Pesic, Peter
Publicado: (2007)

2nd Conference on Foundations of Probability and Physics
por: Khrenikov, A Yu
Publicado: (2005)

2nd Conference on Foundation of Probability and Physics
Publicado: (2002)

Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel
por: Bulloff, Jack, et al.
Publicado: (1969)

Nine papers on foundations, algebra, topology, functions of a complex variable
por: Carin, V S, et al.
Publicado: (1960)

International Symposium on Logical Foundations of Computer Science
por: Artemov, Sergei, et al.
Publicado: (2020)

International Symposium on Mathematical Foundations of Computer Science
por: Collective
Publicado: (1995)

Formal Power Series and Algebraic Combinatorics : 12th International Conference
por: Krob, Daniel, et al.
Publicado: (2000)

The Andrews festschrift: seventeen papers on classical number theory and combinatorics
por: Foata, Dominique, et al.
Publicado: (2001)

Foundations of Statistical Inference : Proceedings of the Shoresh Conference 2000
por: Haitovsky, Yoel, et al.
Publicado: (2003)

Finite mathematics as the foundation of classical mathematics and quantum theory: with applications to gravity and particle theory
por: Lev, Felix
Publicado: (2020)

Conference on Optimization and Its Applications in Control and Data Science
por: Goldengorin, Boris
Publicado: (2016)

Logicism renewed: logical foundations for mathematics and computer science
por: Gilmore, Paul C
Publicado: (2005)

Foundations of logic and mathematics: applications to computer science and cryptography
por: Nievergelt, Yves
Publicado: (2002)

Cannot write session to /tmp/vufind_sessions/sess_d00evjr3iim1mqucv7qun7lljr