{"product_id":"9783540569923","title":"Computer Science Logic","description":"This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa, Italy, inSeptember\/October 1992. CSL '92 was the    sixth of the seriesand the first one held as Annual Conference of the      EuropeanAssociation for Computer Science Logic (EACSL). Fullversions  of the workshop contributions were collected aftertheir presentation and   reviewed. On the basis of 58 reviews,26 papers were selected for           publication, and appear here inrevised final form.Topics covered in   the volume include: Turing machines,linear logic, logic of proofs,         optimization problems, lambdacalculus, fixpoint logic, NP-completeness,    resolution,transition system semantics, higher order partial               functions,evolving algebras, functional logic programming,                 inductivedefinability, semantics of C, classes for a                       functionallanguage, NP-optimization problems, theory of types              andnames, sconing and relators, 3-satisfiability, Kleene'sslash,      negation-complete logic programs, polynomial-timeoracle machines, and      monadic second-order properties.","brand":"Egon Börger","offers":[{"title":"Default Title","offer_id":47660256952638,"sku":"9783540569923","price":1582.1,"currency_code":"ZAR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4357\/7662\/products\/9783540569923.jpg?v=1707722049","url":"https:\/\/exclusivebooks.co.za\/products\/9783540569923","provider":"Exclusive Books Online","version":"1.0","type":"link"}