| 书目名称 | CAAP ‘92 | | 副标题 | 17th Colloquium on T | | 编辑 | J. -C. Raoult | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | This volume contains selected papers presented at theseventeenth Colloquiumon Trees in Algebra and Programming(CAAP) held jointly with the European Symposium onProgramming (ESOP) in Rennes, France, February 26-28,1992(the proceedings of ESOP appear in LNCS 582). Thepreviouscolloquia were held in France, Italy, Germany, Spain,Denmarkand England. Every even year, as in 1992, CAAP isheld jointly with ESOP; every other year, it is part ofTAPSOFT (Theory And Practice of SOFTwaredevelopment). Inthe beginning, CAAP was devoted to algebraic andcombinatorial properties of trees and their role in variousfieldsof computer science. The scope of CAAP has now beenextended to other discrete structures, like graphs,equations and transformations of graphs,and their linkswith logical theories. The programme committee received 40submissions, from which 19 papers have been selected forinclusion inthis volume. | | 出版日期 | Conference proceedings 1992 | | 关键词 | Conditional Equations; Diskrete Strukturen; Logics and Formal languages; Logik und Formale Sprachen; Pro | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-55251-0 | | isbn_softcover | 978-3-540-55251-2 | | isbn_ebook | 978-3-540-46799-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:18:13
