文件名称：latex ummels书本样式
文件大小：17KB
文件格式：CLS
更新时间：2021-10-18 05:48:11
latex 排版
一个latex的风格定义 Mathematical logic and automata theory are two scientific disciplines with a close relationship that is not only fundamental for many theoretical results but also forms the basis of a coherent methodology for the verification and synthesis of computing systems. We take the occasion of the 60th birthday of Wolfgang Thomas to present a tour d'horizon on automata theory and logic. The twenty papers assembled in this volume cover many different facets of logic and automata theory, emphasize the connections to other disciplines such as complexity theory, games, algorithms, and semigroup theory, and discuss current challenges in this field.