Functional and Logic Programming | 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings

Michael Sperber (u. a.)

ISBN 10: 9819201837 / ISBN 13: 9789819201839

Published by Springer, 2026

About this Item

Functional and Logic Programming | 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings | Michael Sperber (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2026 | Springer | EAN 9789819201839 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Seller Inventory # 135359212

Bibliographic Details

• Title: Functional and Logic Programming | 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26-28, 2026, Proceedings
• Publisher: Springer
• Publication Date: 2026
• Language: English
• ISBN 10: 9819201837
• ISBN 13: 9789819201839
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 18D millimeters 235 millimeters width by 155 millimeters height by 18 millimeters depth
• Weight: 493 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

This FLOPS 2026 constitutes the proceedings of the 18th International Symposium on Functional and Logic Programming, FLOPS 2026, held in Tsukuba, Japan, in May 26-28, 2026.

The 14 full papers and 2 invited talks presented in this volume were carefully reviewed and selected from 25 submissions. They were organized in topical sections as follows:.Lambda Calculus and Type Theory; Term Rewriting; Programming Language Semantics; Programming Language Compilers; Functional; Logic and Functional-Logic Programming; SAT solving; and applications thereof.