Custom cover image
Custom cover image

Functional and Logic Programming : 5th International Symposium, FLOPS 2001 Tokyo, Japan, March 7–9, 2001 Proceedings / edited by Herbert Kuchen, Kazunori Ueda

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 ; 2024Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2001Description: Online-RessourceISBN:
  • 9783540447160
  • 3540417397
Other title:
  • FLOPS 2001
Subject(s): Genre/Form: Additional physical formats: 9783540417392 | Buchausg. u.d.T.: Functional and logic programming. Berlin : Springer, 2001. X, 389 S.MSC: MSC: *00B25 | 68-06RVK: RVK: SS 4800LOC classification:
  • QA76.6-76.66
DOI: DOI: 10.1007/3-540-44716-4Online resources: Summary: This book constitutes the refereed proceedings of the 5th International Symposium on Functional and Logic Programming, FLOPS 2001, held in Tokyo, Japan in March 2001.The 21 revised full papers presented together with three invited papers were carefully reviewed and selected from 40 submissions. The book offers topical sections on functional programming, logic programming, functional logic programming, types, program analysis and transformation, and Lambda calculusPPN: PPN: 1649250967Package 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