| 书目名称 | Foundations of Software Technology and Theoretical Computer Science | | 副标题 | 13th Conference, Bom | | 编辑 | Rudrapatna K. Shyamasundar | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | For more than a decade, Foundations of Software Technologyand TheoreticalComputer Science Conferences have beenproviding an annual forum for thepresentation of newresearch results in India and abroad. This year, 119papersfrom 20 countries were submitted. Each paper was reviewed byatleast three reviewers, and 33 papers were selected forpresentation and included in this volume, grouped into partson type theory, parallelalgorithms, term rewriting, logicand constraint logic programming, computational geometry andcomplexity, software technology, concurrency,distributedalgorithms, and algorithms and learning theory. Alsoincluded in the volume are the five invited papers presentedat theconference. | | 出版日期 | Conference proceedings 1993 | | 关键词 | Algorithmen; Algorthmische Geometrie; Computational Geometry; Concurrency; Komplexität; Type Theory; Typen | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-57529-4 | | isbn_softcover | 978-3-540-57529-0 | | isbn_ebook | 978-3-540-48211-6Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1993 |
The information of publication is updating
|
|
发表于 2025-3-21 18:44:48
