> Details

Homer, Steven [Author] ; Nerode, Anil [Other]; Platek, Richard A. [Other]; Sacks, Gerald E. [Other]; Scedrov, Andre [Other]; Odifreddi, Piergiorgio [Editor]

Logic and Computer Science

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book
  • Title: 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
  • Contributor: Homer, Steven [Author]; Nerode, Anil [Other]; Platek, Richard A. [Other]; Sacks, Gerald E. [Other]; Scedrov, Andre [Other]; Odifreddi, Piergiorgio [Editor]
  • Published: Berlin, Heidelberg: Springer Berlin Heidelberg, 1990
  • Published in: Lecture notes in mathematics ; 1429
    Bücher
    Mathematics and Statistics
  • Extent: Online-Ressource (VI, 170 p, online resource)
  • Language: English
  • DOI: 10.1007/BFb0093921
  • ISBN: 9783540471356; 9783540527343
  • Identifier:
  • RVK notation: SI 850 : Lecture notes in mathematics
  • Keywords: Logische Programmierung
    Funktionale Programmiersprache
    Komplexitätstheorie
    Programmverifikation
    Konstruktive Logik
  • Origination:
  • Footnote:
  • Description: 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 Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. - G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types