| 書(shū)目名稱 | Foundations of Software Technology and Theoretical Computer Science | | 副標(biāo)題 | 12th Conference, New | | 編輯 | Rudrapatna Shyamasundar | | 視頻video | http://file.papertrans.cn/348/347163/347163.mp4 | | 叢書(shū)名稱 | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | For more than a decade, Foundations of Software Technologyand TheoreticalComputer Science Conferences have beenproviding an annual academic computerscience forum for thepresentation of new results in the topics ofcurrentresearch in India and abroad. This year, there was a totalof 125 papers from 14 countries. Each paper was reviewed byat least three reviewers; based on these reviews, theprogramme committee selected 28papers at a meeting held inJuly 1992 at the Tata Institute of FundamentalResearch,Bombay.The selected papers are included in this volume,togetherwith three invited papers: "Games and full completenessformultiplicative linear logic" by S. Abramsky, "Recentdevelopments inalgorithms for the maximum-flow problem" byK. Melhorn, and "System specification and refinement intemporal logic" by A. Pnueli. | | 出版日期 | Conference proceedings 1992 | | 關(guān)鍵詞 | Algorithms; Computational Geometry; Computer-Geometrie; Formal Languages; Formale Sprachen; Grammars; Grap | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-56287-7 | | isbn_softcover | 978-3-540-56287-0 | | isbn_ebook | 978-3-540-47507-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1992 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-15 11:11
發(fā)表于 2025-3-21 19:58:59
