{"product_id":"9783540557890","title":"Lecture Notes in Computer Science: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings","description":"\u003ch1\u003eLecture Notes in Computer Science: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings\u003c\/h1\u003e \u003ch2\u003eBörger, Egon; Jäger, Gerhard; Kleine Büning, Hans; Richter, Michael M.\u003c\/h2\u003e \u003cp\u003eThis volume presents the proceedings of the workshop CSL '91\n(Computer      Science Logic) held at the University of Berne,\nSwitzerland, October 7-11,  1991. This was the fifth in a\nseries of annual workshops on computer sciencelogic (the\nfirst four are recorded in LNCS volumes 329, 385, 440,           and\n533).\nThe volume contains 33 invited and selected papers on         a\nvariety of logical topics in computer science, including\nabstract datatypes, bounded theories, complexity results,\ncut elimination, denotational  semantics, infinitary queries,\nKleene algebra with recursion, minimal       proofs, normal forms\nin infinite-valued logic, ordinal processes,           persistent\nPetri nets, plausibility logic, program synthesis                systems,\nquantifier hierarchies, semantics of modularization,               stable\nlogic, term rewriting systems, termination of logic\nprograms,    transitive closure logic, variants of resolution,\nand many others.\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1992-09-10\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003eISBN-13: 9783540557890\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/BFb0023753\u003c\/p\u003e \u003cp\u003eDimensions: 233cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 431\u003c\/p\u003e ","brand":"Springer Berlin Heidelberg","offers":[{"title":"Default Title","offer_id":45370079936652,"sku":"9783540557890","price":49.49,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9783540557890.jpg?v=1773970074","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9783540557890","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}