Functional and Logic Programming 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
| Author/creator | Kameyama, Yukiyoshi Editor |
| Other author | Stuckey, Peter J. Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | x, 307 p. ill 23.500 x 015.500 cm. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present) |
| Supplemental Content | Full text available from Springer Books |
| Subjects |
| Series | Lecture Notes in Computer Science Ser. |
| Summary | Annotation This book constitutes the refereed proceedings of the 7th International Symposium on Functional and Logic Programming, FLOPS 2004, held in Nara, Japan, in April 2004.The 18 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 55 submissions. The papers are organized in topical sections on logic and functional-logic programming, applications, program analysis, rewriting, types and modules, logic and semantics, and functional programming. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2004102971 |
| ISBN | 9783540214021 |
| ISBN | 354021402X (Mixed Media) Active Record |
| Standard identifier# | 9783540214021 |
| Stock number | 354021402X 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |