{"product_id":"computer-science-logic-5th-workshop-csl-91-berne-switzerland-october-7-11-1991-proceedings-von-egon-borger-gerhard-jager-hans-kleine-buning-michael-m-richter-hrsg","title":"Computer Science Logic","description":"This 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.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540557890\"\u003e\u003ch3\u003e5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540557890","offer_id":39437076791389,"sku":"9783540557890","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/b5270bf2-b9e5-4579-a2cc-f44f7fee6d6d.jpg?v=1773553505","url":"https:\/\/shop.autorenwelt.de\/products\/computer-science-logic-5th-workshop-csl-91-berne-switzerland-october-7-11-1991-proceedings-von-egon-borger-gerhard-jager-hans-kleine-buning-michael-m-richter-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}