Logic and Computer Science : :: SCD d'Orléans

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20 28, 1988

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20 28, 1988

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lec...

Description complète

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Homer, Steven, Platek, Richard A., 19..- (Auteur), Scedrov, Andre, 1955- (Auteur), Nerode, Anil, 1932- (Auteur), Sacks, Gerald, 1933-2019 (Auteur)
Autres auteurs:	Odifreddi, Piergiorgio, 1950- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in mathematics 1429
Sujets:	Programmation (mathématiques) Logique symbolique et mathématique Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Numérotation et ISSN de la collection principale : 1617-9692 ; vol. 1429 Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Logic and computer science, lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988, S. Homer ... [et al.], 1990, Berlin, Springer-Verlag, 1 vol. (162 p.), Lecture notes in mathematics, 3-540-52734-6 • Logic and Computer Science, Texte imprimé, 9783662180662

Documents similaires

Integrable Systems and Quantum Groups : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, June 14 22, 1993
par: Donagi, Ron, 1956-...., mathématicien, et autres

Nonlinear diffusion problems : lectures given at the 2nd 1985 session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 10 - June 18, 1985

Nonequilibrium Problems in Many-Particle Systems : Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini, Italy, June 15 27, 1992
par: Pulvirenti, Mario, 1946-...., mathématicien, et autres

Viscosity solutions and applications : lectures given at the 2nd session of the Centro internazionale matematico estivo (CIME) held in Montecatini Terme, Italy, June 12-20, 1995
par: Bardi, Martino, 1956-, et autres

Dynamical Systems : Lectures Given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, June 13 22, 1994
par: Arnold, Ludwig, 1937-...., mathématicien, et autres

Mathematics Inspired by Biology : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Martina Franca, Italy, June 13 20, 1997
par: Diekmann, Odo, 1948-...., mathématicien, et autres

Mathematical Economics : Lectures given at the 2nd 1986 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy June 25 July 3, 1986

Phase Transitions and Hysteresis : Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, July 13 21, 1993
par: Brokate, Martin, 1953-, et autres

Global Geometry and Mathematical Physics : Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, July 4 12, 1988
par: Alvarez-Gaumé, Luis, 1955-, et autres

Probability and analysis : lectures given at the 1st 1985 session of the Centro internazionale matematico estivo (C.I.M.E.) held at Varenna (Como), Italy, May 31-June 8, 1985
par: Letta, Giorgio, 1936-...., mathématicien
Publié: (1986)

Dirichlet Forms : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna, Italy, June 8 19, 1992
par: Fabes, Eugene, 1937-1997, et autres

Harmonic mappings and minimal immersions : lectures given at the 1st 1984 Session of the Centro internationale matematico estivo (CIME) held at Montecatini, Italy, June 24 - July 3, 1984

Recent Mathematical Methods in Nonlinear Wave Propagation : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Montecatini Terme, Italy, May 23 31, 1994
par: Boillat, Guy, et autres

Probability and Analysis : Lectures given at the 1st 1985 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Varenna (Como), Italy May 31 June 8, 1985
par: Letta, Giorgio, 1936-...., mathématicien

Microlocal analysis and applications : lectures given at the 2nd Session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, July 3-11, 1989
par: Bony, Jean-Michel, 1942-...., mathématicien, et autres

Topological Methods for Ordinary Differential Equations : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, June 24 July 2, 1991
par: Fitzpatrick, Patrick Michael, 1946-, et autres

Mathematical Modelling of Industrial Processes : Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bari, Italy, Sept. 24 29, 1990
par: Busenberg, Stavros N., et autres

Computational mathematics driven by industrial problems : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held in Martina Franca, Italy, June 21-27, 1999
par: Burkard, Rainer E., 1943-, et autres

Topics in Calculus of Variations : Lectures given at the 2nd 1987 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, July 20 28, 1987

Financial Mathematics : Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone, Italy, July 8 13, 1996
par: Biais, Bruno, 1962-...., économiste, et autres

Relativistic Fluid Dynamics : Lectures given at the 1st 1987 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Noto, Italy, May 25 June 3, 1987

H-Control Theory : Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Como, Italy, June 18 26, 1990
par: Foia—s, Ciprian, 1933-2020, et autres

Transition to Chaos in Classical and Quantum Mechanics : Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Montecatini Terme, Italy, July 6 13, 1991
par: Bellissard, Jean, 19..-, et autres

Fluid Dynamics : Lectures given at the 3rd1982 Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Varenna, Italy, August 22 September 1, 1982

Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
par: Bergman, Clifford H.

Singularities of analytic spaces : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 16-25, 1974
par: Tognoli, Alberto, 1937-...., Mathématicien
Publié: (2011)

Schrödinger operators : lectures given at the 2nd 1984 session of the Centro internationale matematico estivo (CIME) held at Como, Italy, Aug. 26-Sept. 4, 1984
Publié: (1985)

Calculus of Variations and Geometric Evolution Problems : Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Cetraro, Italy, June 15 22, 1996
par: Steffen, Klaus, 1945-, et autres

Integral geometry, radon transforms, and complex analysis : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held in Venezia, Italy, June 3-12, 1996
par: Berenstein, Carlos A., et autres

Journal of logic and computation.
Publié: (1990)

Arithmetic Theory of Elliptic Curves : Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Cetraro, Italy, July 12 19, 1997
par: Coates, John Henry, 1945-2022, mathématicien, et autres

Vector bundles on curves : new directions : lectures given at the 3rd session of the Centro internazionale matematico estivo (C.I.M.E.) held in Cetraro (Cosenza), Italy, June 19-27, 1995
par: Kumar, Shrawan, 1953-...., mathématicien, et autres

Transcendental Methods in Algebraic Geometry : Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) Held in Cetraro, Italy, July 4 12, 1994
par: Demailly, Jean-Pierre, 1957-2022, mathématicien, et autres

Recursion theory and computational complexity : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Bressanone (Bolzano), Italy, June 14-23, 1979
par: Lolli, Gabriele, 1942-
Publié: (2011)

Spectral analysis : Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, August 24-September 2, 1973
par: Cecconi, Jaures, 1918-2012, mathématicien
Publié: (2011)

The Global Theory of Minimal Surfaces in Flat Spaces : Lectures given at the 2nd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Martina Franca, Italy July 7-14, 1999
par: Meeks, William H., 1947-, et autres

Filtration in Porous Media and Industrial Application : Lectures given at the 4th Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Cetraro, Italy August 24 29, 1998
par: Espedal, Magne S., 1942-, et autres

Logic, language, and computation : festschrift in honor of Satoru Takasu
par: Jones, Neil D., 1941-

Schrödinger Operators : Lectures given at the 2nd 1984 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) held at Como, Italy, Aug. 26 Sept. 4, 1984

Numerical Methods in Fluid Dynamics : Lectures given at the 3rd 1983 Session of the Centro Internationale Matematico Estivo (C.I.M.E.) held at Como, Italy, July 7 15, 1983
par: Brezzi, Franco, 1945-

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales