{"product_id":"foundations-of-software-technology-and-theoretical-computer-science-12th-conference-new-delhi-india-december-18-20-1992-proceedings-von-rudrapatna-shyamasundar-hrsg","title":"Foundations of Software Technology and Theoretical Computer Science","description":"For more than a decade, Foundations of Software Technology\nand Theoretical  Computer Science Conferences have been\nproviding an annual academic computerscience forum for the\npresentation of new results in the topics of          current\nresearch in India and abroad. This year, there was a total\nof   125 papers from 14 countries. Each paper was reviewed by\nat least three     reviewers; based on these reviews, the\nprogramme committee selected 28      papers at a meeting held in\nJuly 1992 at the Tata Institute of Fundamental  Research,\nBombay.\nThe selected papers are included in this volume,      together\nwith three invited papers: \"Games and full completeness            for\nmultiplicative linear logic\" by S. Abramsky, \"Recent\ndevelopments inalgorithms for the maximum-flow problem\" by\nK. Melhorn, and \"System         specification and refinement in\ntemporal logic\" by A. Pnueli.\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540562870\"\u003e\u003ch3\u003e12th Conference, New Delhi, India, December 18-20, 1992. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540562870","offer_id":39426071625821,"sku":"9783540562870","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/cc81bd24-d0ff-478a-acff-1843f7a43338.jpg?v=1773554277","url":"https:\/\/shop.autorenwelt.de\/products\/foundations-of-software-technology-and-theoretical-computer-science-12th-conference-new-delhi-india-december-18-20-1992-proceedings-von-rudrapatna-shyamasundar-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}