Functional and Logic Programming: 18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28,...

— —

Michael Sperber Ekaterina Komendantskaya

Functional and Logic Programming

Name: Functional and Logic Programming
Price: 130.01 AUD
Availability: OutOfStock
ISBN: 9789819201839

18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28, 2026, Proceedings

Michael Sperber, Ekaterina Komendantskaya

$162.95 $130.01

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We will update you on expected arrival time to us. If this delay is too long, please let us know within 2 business days and we can give you options regarding cancelling or adjusting your order. More details on cancelling your order can be found in our Terms of Trade.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Springer Nature
12 May 2026

Programming & scripting languages: general; Software Engineering; Mathematical theory of computation; Systems analysis & design; Artificial intelligence

Series: Lecture Notes in Computer Science

Summary
Details

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.

Edited by: Michael Sperber, Ekaterina Komendantskaya
Imprint: Springer Nature
Country of Publication: Singapore
Dimensions: Height: 235mm, Width: 155mm,
ISBN: 9789819201839
ISBN 10: 9819201837
Series: Lecture Notes in Computer Science
Pages: 307
Publication Date: 12 May 2026
Audience: Professional and scholarly , College/higher education , Undergraduate , Further / Higher Education
Format: Paperback
Publisher's Status: Active