GENA公司 swMATH ID: 9819 软件作者： 描述： GENA-根据规范生成Prolog分析器的工具。 主页： http://link.springer.com/chapter/10.1007/3-540-60360-3_53 相关软件： Coq公司；慈白；BoogiePL公司；CiaoPP公司；Ciao公司；TVLA公司；SAS公司；JML公司；PVS公司；PAG公司 引用于： 4文件 全部的 前5名9位作者引用 三 赫尔穆特·塞德尔 1 克里斯蒂安·费希特 1 曼努埃尔五世（Manuel V.Hermenegildo）。 1 马丁·霍夫曼 1 阿列克桑德·卡比雪夫 1 马里奥·梅恩德斯·洛霍 1 马库斯·穆勒·奥尔姆 1 豪尔赫·纳瓦斯（Jorge A.Navas）。 1 瓦尔莫·维尼 2篇连载文章中引用 1 北欧计算机杂志 1 爱沙尼亚科学院院刊。物理、数学 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文