{"product_id":"9783319276823","title":"Lecture Notes in Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings\u003c\/h1\u003e \u003ch2\u003eArtemov, Sergei; Nerode, Anil\u003c\/h2\u003e \u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis book\nconstitutes the refereed proceedings of the International Symposium on Logical\nFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA in\nJanuary 2016. The 27 revised full papers\nwere carefully reviewed and selected from 46 submissions. The scope\nof the Symposium is broad and includes constructive mathematics and type\ntheory; homotopy type theory; logic, automata, and automatic structures;\ncomputability and randomness; logical foundations of programming; logical\naspects of computational complexity; parameterized complexity; logic\nprogramming and constraints; automated deduction and interactive theorem\nproving; logical methods in protocol and program verification; logical methods\nin program specification and extraction; domain theory logics; logical\nfoundations of database theory; equational logic and term rewriting; lambda and\ncombinatory calculi; categorical logic and topological semantics; linear logic;\nepistemic and temporal logics; intelligent and multiple-agent system logics;\nlogics of proof and justification; non-monotonic reasoning; logic in game\ntheory and social software; logic of hybrid systems; distributed system logics;\nmathematical fuzzy logic; system design logics; and other logics in computer\nscience.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2015-12-10\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783319276823\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-3-319-27683-0\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 407\u003c\/p\u003e ","brand":"Springer International Publishing","offers":[{"title":"Default Title","offer_id":45377466892428,"sku":"9783319276823","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783319276823.jpg?v=1774013629","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783319276823","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}