{"product_id":"computer-science-logic-6th-workshop-csl92-san-miniato-italy-september-28-october-2-1992-selected-papers-von-egon-borger-gerhard-jager-hans-kleine-buning-simone-martini-michael-m-richter-hrsg","title":"Computer Science Logic","description":"This 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540569923\"\u003e\u003ch3\u003e6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540569923","offer_id":39437021773917,"sku":"9783540569923","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/caa45475-68bb-4096-9269-3b127d3ddc8a.jpg?v=1782447538","url":"https:\/\/shop.autorenwelt.de\/products\/computer-science-logic-6th-workshop-csl92-san-miniato-italy-september-28-october-2-1992-selected-papers-von-egon-borger-gerhard-jager-hans-kleine-buning-simone-martini-michael-m-richter-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}