| 書(shū)目名稱(chēng) | Foundations of Software Technology and Theoretical Computer Science | | 副標(biāo)題 | 13th Conference, Bom | | 編輯 | Rudrapatna K. Shyamasundar | | 視頻video | http://file.papertrans.cn/348/347173/347173.mp4 | | 叢書(shū)名稱(chēng) | Lecture Notes in Computer Science | | 圖書(shū)封面 |  | | 描述 | 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 | | 關(guān)鍵詞 | 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
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-16 23:37
發(fā)表于 2025-3-21 18:44:48
