| 書目名稱 | Fundamentals of Computation Theory | | 副標題 | International Confer | | 編輯 | J. Csirik,J. Demetrovics,F. Gécseg | | 視頻video | http://file.papertrans.cn/351/350187/350187.mp4 | | 叢書名稱 | Lecture Notes in Computer Science | | 圖書封面 |  | | 描述 | This volume contains the proceedings of the conference on .Fundamentals of Computation Theory. held in Szeged, Hungary, August 21-25, 1989. The conference is the seventh in the series of the FCT conferences initiated in 1977 in Poznan-Kornik, Poland. The papers collected in this volume are the texts of invited contributions and shorter communications falling into one of the following sections: - Efficient Computation by Abstract Devices: Automata, Computability, Probabilistic Computations, Parallel and Distributed Computing; - Logics and Meanings of Programs: Algebraic and Categorical Approaches to Semantics, Computational Logic, Logic Programming, Verification, Program Transformations, Functional Programming; - Formal Languages: Rewriting Systems, Algebraic Language Theory; - Computational Complexity: Analysis and Complexity of Algorithms, Design of Efficient Algorithms, Algorithms and Data Structures, Computational Geometry, Complexity Classes and Hierarchies, Lower Bounds. | | 出版日期 | Conference proceedings 1989 | | 關鍵詞 | RP; Turing machine; algorithms; automata; calculus; complexity; computability; formal language; formal langu | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-51498-8 | | isbn_softcover | 978-3-540-51498-5 | | isbn_ebook | 978-3-540-48180-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1989 |
The information of publication is updating
|
|
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 22:15
發(fā)表于 2025-3-21 16:31:59
