Cover Image

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 /

Show other versions (1)

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...

Full description

Bibliographic Details
Corporate Authors: SpringerLink (Online service), Centro internazionale matematico estivo
Other Authors: Homer, S. (Steven), Odifreddi, Piergiorgio, 1950-
Format: eBook
Language:English
Published: Berlin ; New York : Springer-Verlag, [1990]
Series:Lecture notes in mathematics (Springer-Verlag) ; 1429.
Subjects:
Logic, Symbolic and mathematical > Congresses.
Programming (Mathematics) > Congresses.
Computational complexity > Congresses.
langage fonctionnel.
langage logique.
logique constructive.
preuve programme.
polymorphisme.
PROLOG.
logique intuitionniste.
isomorphisme.
théorie complexité.
Logique symbolique et mathématique > Congrès.
Programmation (Mathématiques) > Congrès.
Complexité de calcul (Informatique) > Congrès.
Computational complexity.
Logic, Symbolic and mathematical.
Programming (Mathematics)
Programmation (mathématiques) > Congrès.
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA3 .L28 no. 1429
 
Call Number Status Get It
QA3 .L28 no. 1429 Available