科拉多·伯姆（编辑）;伊雷纳游击队（编辑） 根岑。会议，意大利罗马，1996年10月3日至5日。 （英语） Zbl 0907.00043号 西奥。计算。科学。212，第1-2期，310页（1999年）。 本卷的文章将单独进行审查。Gentzen是Esprit-BRA工作组7232开发方法和编程技术的关键词。 MSC公司： 00B25型 杂项特定利益的会议记录 2006年8月 与计算机科学有关的会议记录、会议、收藏等 68甲15 编程语言理论 68问题55 计算理论中的语义学 关键词：罗马（意大利）;诉讼;会议;根岑;特刊 PDF格式BibTeX公司 XML格式