{"product_id":"functional-and-logic-programming-von-undefined-3","title":"Functional and Logic Programming","description":"\n                                \n                \u003cp\u003eThis 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.\u003c\/p\u003e\n                                \n                \n                \u003cp\u003eThe 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.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9789819201839\"\u003e\u003ch3\u003e18th International Symposium, FLOPS 2026, Tsukuba, Japan, May 26–28, 2026, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9789819201839","offer_id":58156227035461,"sku":"9789819201839","price":70.61,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/8873a137-12b2-4ad9-9bfe-d78bb2cf0710.jpg?v=1780549524","url":"https:\/\/shop.autorenwelt.de\/products\/functional-and-logic-programming-von-undefined-3","provider":"Autorenwelt Shop","version":"1.0","type":"link"}