Titlebook: Computer Science Logic; 23rd International W Erich Gr?del,Reinhard Kahle Conference proceedings 2009 Springer-Verlag Berlin Heidelberg 2009

DEIGN

書目名稱Computer Science Logic影響因子(影響力)




書目名稱Computer Science Logic影響因子(影響力)學(xué)科排名




書目名稱Computer Science Logic網(wǎng)絡(luò)公開度




書目名稱Computer Science Logic網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Computer Science Logic被引頻次




書目名稱Computer Science Logic被引頻次學(xué)科排名




書目名稱Computer Science Logic年度引用




書目名稱Computer Science Logic年度引用學(xué)科排名




書目名稱Computer Science Logic讀者反饋




書目名稱Computer Science Logic讀者反饋學(xué)科排名

cardiac-arrest

葡萄糖

Credence

躲債

憂傷

憂傷

Algebra for Tree Languagesest algebra. (Other frameworks in the literature include pre-clones of ésik and Weil or tree algebra of Wilke. Another approach is to forget about algebra and study the structure of a tree automaton.)

insomnia

Algorithmic Analysis of Array-Accessing Programsity problem, while undecidable in general, is (1) .-complete for programs in which the array-accessing .-loops are not nested, (2) decidable for a restricted class of programs with doubly-nested loops. The second result establishes connections to automata and logics defining languages over data words.

Cocker

Generalize

Conference proceedings 2009The conference series started as a programme of International Workshops on Computer Science Logic, and then at its sixth meeting became the Annual C- ference of the EACSL. This conference was the 23rd meeting and 18th EACSL conference; it was organized at the Department of Mathematics, Faculty of S-