Formal and Natural Computing
作者: Wilfried Brauer 著
出版社:湖南文艺出版社 2002年04月
简介:This book assesses the state of the art in some of the most active research areas in theoretical computer science. It presents research papers and survey articles written by leading researchers on the occasion of Grzegorz Rozenberg's 60th birthday. The topics covered range from basic decidability and the notion of information to graph grammars and graph transformations, and from trees and traces to aqueous algorithms, DNA encoding, and self-assembly. Besides scientific excellence and originality, special attention has been paid to lucid presentation.