Custom cover image
Custom cover image

Computer Science Logic : 13th International Workshop, CSL’99 8th Annual Conference of the EACSL Madrid, Spain, September 20–25, 1999 Proceedings / edited by Jörg Flum, Mario Rodriguez-Artalejo

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 ; 1683Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 1999Description: Online-RessourceISBN:
  • 9783540481683
  • 3540665366
Subject(s): Genre/Form: Additional physical formats: 9783540665366 | Buchausg. u.d.T.: Computer science logic. Berlin : Springer, 1999. XI, 580 S.DDC classification:
  • 004.015113
  • 004/.01/5113
  • 005.131 23
  • 004.0151 23
MSC: MSC: *00B25 | 03-06RVK: RVK: SS 4800LOC classification:
  • QA8.9-QA10.3
DOI: DOI: 10.1007/3-540-48168-0Online resources: Summary: This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in September 1999. The 34 revised full papers presented together with five invited contributions were carefully reviewed and sleected from a total of 91 submissions. The papers are organized in sections on descriptive complexity; verification; temporal logic; lambda calculus and linear logic; logic programming, modal logic, and description logic; logic and complexity; lambda calculus and type theory; linear logic, mu calculus, and concurrency; and specification and data refinementPPN: PPN: 1649361874Package identifier: Produktsigel: ZDB-2-LNC | ZDB-2-SCS | ZDB-2-BAE | ZDB-2-SXCS | ZDB-2-SEB
No physical items for this record
KIT – The University in the Helmholtz Association                         Home | Impressum | Datenschutz | Barrierefreiheit | KIT