奥尔纳·格伦伯格（编辑）;迈克尔·卡明斯基（编辑）;Shmuel Katz（编辑）;Shuly Wintner公司（编辑） 语言：从正式到自然。在尼西姆·弗朗西兹65岁生日之际，为他撰写的论文。 （英文） Zbl 1163.68004号 计算机科学课堂讲稿5533.柏林：施普林格出版社（ISBN 978-3-642-01747-6/pbk）。x、 245页。(2009). 将索引文章显示为搜索结果。 本卷的文章将单独进行审查。索引文章：阿普特，Krzysztof R。；德波尔（Frank S.de Boer）。；奥尔德罗格（Ernst-Rüdiger Olderog），递归程序的模块化验证，1-21[Zbl 1241.68047号]吉拉德·本·阿维；温特，尤德，广义量词的范围支配，36-44[Zbl 1239.03015号]沃伊切赫（Wojciech）巴斯科夫斯基（Buszkowski）；马西耶·法鲁列夫斯基，带加法和无上下文语言的非结合Lambek演算，45-58[Zbl 1239.03016号]纳鸿·德肖维茨，关于惰性换向，59-82[兹比尔1241.68075]伊塔马尔·弗朗西兹，否-尼西姆（和沙洛姆）的总额，97-106[Zbl 1241.91105号]尤利娅·杜波夫；迈克尔·卡明斯基，无限字母表下推自动机中非确定性重排的威力，107-127[Zbl 1241.68078号]埃米利亚·卡茨（Emilia Katz）；Shmuel Katz，强侵袭性方面的模块化验证，128-147[Zbl 1241.68051号]丹尼尔·莱曼完美竞争和技术变革下的服务等级。互联网动态模型？，148-169 [兹比尔1241.68043]拉尼·内尔肯，《论范畴语法中句法范畴的本体论性质》，170-176[Zbl 1239.03017号]伊恩·普拉特·哈特曼，没有数字三段论的三段论，192-203[Zbl 1239.03006号]Wintner，Shuly；阿隆·拉维；布莱恩·麦克维尼，早期语言的形式语法，204-227[Zbl 1241.91106号]阿维·亚德加；Orna Grumberg；阿萨夫·舒斯特，模型检查的混合BDD和全SAT方法，228-244[Zbl 1241.68082号] MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 00B30型 费斯特施里夫滕 65年第68季度 形式语言和自动机 03B65号 自然语言逻辑 68T50型 自然语言处理 91层20 语言学 传记参考： 尼西姆·弗朗西兹 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}（编辑）等人，《语言：从形式到自然》。在尼西姆·弗朗西兹65岁生日之际，为他撰写的论文。柏林：施普林格出版社（2009；Zbl 1163.68004） 全文： 内政部