| 书目名称 | Foundations of Software Technology and Theoretical Computer Science | | 副标题 | 12th Conference, New | | 编辑 | Rudrapatna Shyamasundar | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | 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 | | 关键词 | 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
|
|
发表于 2025-3-21 19:58:59
