Custom cover image
Custom cover image

Proof Theory in Computer Science : International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7–12, 2001 Proceedings / edited by Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk

By: Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Springer eBook Collection Computer Science | Lecture notes in computer science ; 2183Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001Description: Online-RessourceISBN:
  • 9783540455042
  • 354042752X
Subject(s): Genre/Form: Additional physical formats: 9783540427520 | Buchausg. u.d.T.: Proof theory in computer science. Berlin : Springer, 2001. VIII, 238 S.DDC classification:
  • 511.3
  • 004/.01/5113
  • 005.131 23
  • 005.13 23
  • 005.45 23
MSC: MSC: *00B25 | 03-06 | 68-06RVK: RVK: SS 4800LOC classification:
  • QA8.9-QA10.3
DOI: DOI: 10.1007/3-540-45504-3Online resources: Summary: This book constitutes the refereed proceedings of the International Seminar on Proof Theory in Computer Science, PTCS 2001, held in Dagstuhl Castle, Germany, in October 2001. The 13 thoroughly revised full papers were carefully reviewed and selected for inclusion in the book. Among the topics addressed are higher type recursion, lambda calculus, complexity theory, transfinite induction, categories, induction-recursion, post-Turing analysis, natural deduction, implicit characterization, iterate logic, and Java programmingPPN: PPN: 1649261926Package identifier: Produktsigel: ZDB-2-BAE | ZDB-2-LNC | ZDB-2-SCS | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT