登入選單
返回Google圖書搜尋
其他書名
17th Colloquium on Trees in Algebra and Programming Rennes, France, February 26-28, 1992. Proceedings
出版Springer Science & Business Media, 1992-02-19
主題Computers / Computer ScienceComputers / Information TechnologyComputers / Logic DesignComputers / Machine TheoryComputers / Programming / GeneralComputers / Software Development & Engineering / GeneralComputers / Programming / AlgorithmsComputers / Data Science / Data Modeling & DesignComputers / User InterfacesMathematics / GeneralMathematics / Discrete MathematicsMathematics / Graphic MethodsMathematics / LogicNature / Plants / Trees
ISBN35405525109783540552512
URLhttp://books.google.com.hk/books?id=415RKki_NmMC&hl=&source=gbs_api
EBookSAMPLE
註釋This volume contains selected papers presented at the seventeenth Colloquiumon Trees in Algebra and Programming (CAAP) held jointly with the European Symposium on Programming (ESOP) in Rennes, France, February 26-28, 1992 (the proceedings of ESOP appear in LNCS 582). The previous colloquia were held in France, Italy, Germany, Spain, Denmark and England. Every even year, as in 1992, CAAP is held jointly with ESOP; every other year, it is part of TAPSOFT (Theory And Practice of SOFTware development). In the beginning, CAAP was devoted to algebraic and combinatorial properties of trees and their role in various fields of computer science. The scope of CAAP has now been extended to other discrete structures, like graphs, equations and transformations of graphs, and their links with logical theories. The programme committee received 40 submissions, from which 19 papers have been selected for inclusion inthis volume.