{"product_id":"9783540569923","title":"Lecture Notes in Computer Science: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers","description":"\u003ch1\u003eLecture Notes in Computer Science: 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers\u003c\/h1\u003e \u003ch2\u003eBörger, Egon; Jäger, Gerhard; Kleine Büning, Hans; Martini, Simone; Richter, Michael M.\u003c\/h2\u003e \u003cp\u003eThis volume presents the proceedings of the Computer Science\nLogic Workshop CSL '92, held in Pisa, Italy, in\nSeptember\/October 1992. CSL '92 was the    sixth of the series\nand the first one held as Annual Conference of the      European\nAssociation for Computer Science Logic (EACSL). Full\nversions  of the workshop contributions were collected after\ntheir presentation and   reviewed. On the basis of 58 reviews,\n26 papers were selected for           publication, and appear here in\nrevised final form.\nTopics covered in   the volume include: Turing machines,\nlinear logic, logic of proofs,         optimization problems, lambda\ncalculus, fixpoint logic, NP-completeness,    resolution,\ntransition system semantics, higher order partial               functions,\nevolving algebras, functional logic programming,                 inductive\ndefinability, semantics of C, classes for a                       functional\nlanguage, NP-optimization problems, theory of types              and\nnames, sconing and relators, 3-satisfiability, Kleene's\nslash,      negation-complete logic programs, polynomial-time\noracle machines, and      monadic second-order properties.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1993-08-11\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540569923\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/3-540-56992-8\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 439\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370077806732,"sku":"9783540569923","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540569923.jpg?v=1773969994","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540569923","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}