Ninth Colloquium on Trees in Algebra and Programming : 5-7 March 1984, Bordeaux, France : [proceedings]

＜図書＞
Ninth Colloquium on Trees in Algebra and Programming : 5-7 March 1984, Bordeaux, France : [proceedings]

責任表示	edited by B. Courcelle
データ種別	図書
出版情報	Cambridge [Cambridgeshire] ; New York : Cambridge University Press , 1984
本文言語	英語,フランス語
大きさ	326 p. : ill. ; 24 cm
概要	The international Colloquium on Trees in Algebra and Programming is an annual conference on Theoretical Computer Science. Its central theme is the algebraic and combinatorial properties of trees, grap...s and other combinatorial objects that appear in many different fields of computer science. These include formal languages and automata, rewriting systems, complexity and validity of algorithms and programs, program schemes, concurrent processes, databases, data structures, specification methods, models of lambda-calculus, VLSI circuits and semantics of programming languages. However, trees and graphs have such a wide range of uses in computer science that no aspect is excluded. This book contains the twenty-two communications of the ninth colloquium held in Bordeaux, France in March 1984. Of these, three invited papers survey existing work in three different fields and nineteen present new results. 続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		中央図 2B	549.9/C 84/1	1984		068582184007145		予約・取寄			予約・取寄
		理系図3F 数理独自	P 84/COLL/1	1984		068222184009565		予約・取寄			予約・取寄

一般注記	Includes bibliographies
著者標目	*Colloquium on Trees in Algebra and Programming (9th : 1984 : Bordeaux, France) Courcelle, B.
件　名	LCSH:Trees (Graph theory) -- Congresses 全ての件名で検索 LCSH:Algebra -- Congresses 全ての件名で検索 LCSH:Programming (Electronic computers) -- Congresses 全ての件名で検索
分　類	LCC:QA166.2 DC19:511/.5
書誌ID	1000031184
ISBN	0521267501
NCID	BA0414692X
巻冊次	ISBN:0521267501
登録日	2009.09.10
更新日	2009.11.02