函数与逻辑程序设计杂志 简短标题： J.功能。日志。程序。 出版商： 麻省理工学院出版社，马萨诸塞州剑桥 国际标准编号： 1080-5230/年 在线： http://danae.uni-muenster.de/lehre/kuchen/JFLP/ 评论： 期刊；不再编制索引；自2001年起仅以电子形式发布。此日志可开放访问。 已编制索引的文档： 70出版物(1995–2008) 全部的 前5名最新问题 2008(2008) 2007(2007) 2004，规范发行。1 (2004) 2004(2004) 2003，规范发行。1 (2003) 2002，规范发行。1 (2002) 2001，规范发行。2 (2001) 2001，规范发行。1 (2001) 2001(2001) 2000，规范发行。1 (2000) 2000(2000) 1999，规范发行。2 (1999) 1999，规范发行。1 (1999) 1999(1999) 1998(1998) 1997(1997) 1996(1996) 1995(1995) 全部的 前5名作者 4 哈努斯，迈克尔 三 李·奈什 三 恩里科·蓬泰利 2 魏恩根·钦 2 桑托斯·科斯塔，Vítor 2 巴特·德梅恩 2 阿戈斯蒂诺·多维尔 2 海因茨法？本德 2 米盖尔·加西亚·迪亚斯 2 戈帕尔·古普塔 2 胡镇江 2 迪莉娅·凯斯纳 2 赫伯特·库欣 2 萨尔瓦多卢卡斯 2 阿尔特·米德尔多普 2 苏珊娜·尼娃 2 马里奥·罗德里格斯-阿塔莱霍 2 康斯坦蒂诺斯·萨戈纳斯 1 扎希亚·阿伊杜德 1 阿尔伯特·埃尔维拉 1 达维德·阿里菲 1 高仁青藤 1 普里省阿雷纳斯-桑切斯 1 伊迪奥·班奈 1 帕特里斯·博伊祖马尔 1 安娜丽莎·博西 1 伯恩德·布拉埃尔 1 西蒙·布洛克 1 安东尼奥·布罗吉 1 莫里斯·布吕诺格 1 伯恩德·伯托 1 拉斐尔·卡巴列罗（Rafael E.Caballero）。 1 菲利普·科多涅特 1 奥利维尔·丹维 1 丹尼·德·施雷耶 1 德弗里斯（Fer-Jan J.de Vries）。 1 安德烈·德瓦尔。 1 穆拉德·德巴比 1 马克·德内克 1 皮埃尔·德兰萨特 1 乔尔·德斯佩鲁 1 丹尼尔·迪亚兹 1 桑德罗·埃塔利 1 阿里·法尔 1 朱莉安娜·弗雷尔 1 毛里齐奥·加布里埃利 1 罗伯托·贾科巴齐 1 罗伯特·吉格里奇 1 冈萨雷斯-莫雷诺，胡安·卡洛斯 1 穆罕默德·哈马达 1 Makoto滨那 1 Mehdi T.哈兰迪。 1 哈特尔，彼得·H。 1 A.Reza Heydarlou 1 蒂莫西·希基。 1 帕特里夏·M·希尔。 1 拉尔夫·欣泽 1 霍塔拉·冈萨雷斯，玛丽亚·特蕾莎 1 弗兰克，哈 1 巴拉特·贾亚拉曼 1 Jones，Neil D。 1 Fairouz D.卡马雷丁。 1 Yukiyoshi县Kameyama 1 诺里希罗·卡米德 1 理查德·肯纳韦 1 邱小成 1 朱莉安娜·库斯特·菲利佩·鲍尔斯 1 弗雷德里克·朗 1 Leleu，皮埃尔 1 皮埃尔·莱斯坎 1 乔治·列维 1 洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 1 塞巴斯蒂安·马内思 1 伯尔尼马滕斯 1 马丁内斯·洛佩斯（Martínez-López），巴勃罗·E。 1 安德烈·莫塞尔 1 戈帕兰·纳达图尔 1 胡安·卡洛斯·尼维斯 1 迈克尔·奥唐纳。 1 埃诺·奥勒布什 1 毛里西奥·奥索里奥。 1 卡图西亚帕拉米德斯 1 尼古拉斯·佩尔蒂埃 1 德什·兰扬 1 奥利维尔·里杜克斯 1 亚历杭德罗·里奥斯 1 罗森达尔，麦兹 1 吉安弗兰科·罗西 1 高府樱井 1 佐藤真彦 1 大辅佐藤 1 乌尔里克·帕赫·舒尔茨 1 沈一东 1 斯马乌斯，Jan-Georg 1 Stathis，科斯塔斯 1 Leon S.斯特林。 1 彼得·詹姆斯·斯塔基 1 Sumii、Eijiro 1 铃木、芋头 1 Swift，Terrance公司 …还有20多位作者 字段 70 计算机科学（68至XX） 8 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用173中的次162文件 引用人▼ 年份▼ 函数和函数程序中的上下文敏感计算。 Zbl 0924.68106号 萨尔瓦多卢卡斯 43 1998 重写中没有意义的术语。 Zbl 0924.68107号 理查德·肯纳韦;文森特·范·奥斯特罗姆;德弗里斯，Fer-Jan 21 1999 声明性调试方案。 Zbl 0924.68125号 李·奈什 12 1997 一种实用的多仿射声明语言部分求值方案。 Zbl 1037.68011号 阿尔伯特·埃尔维拉;迈克尔·哈纳斯;德国维达尔 10 2002 用集成函数和逻辑语言编程。 Zbl 0924.68056号 约翰·劳埃德 8 1999 在函数逻辑计算中封装非确定性。 Zbl 1084.68511号 伯恩德·布拉埃尔;迈克尔·哈纳斯;弗兰克，哈 7 2004 并发约束编程中的抽象同步。 Zbl 0924.68045号 Enea Zaffanello公司;罗伯托·贾科巴齐;乔治·列维 7 1997 超越深度优先策略：通过替代调度改进表格逻辑程序。 Zbl 0924.68054号 朱莉安娜·弗雷尔;Swift，Terrance公司;大卫·沃伦。 7 1998 lambda项的细粒度表示法及其在内涵运算中的使用。 兹比尔0924.68055 戈帕兰·纳达图尔 6 1999 广义β-约简和显式替换的演算：无类型和简单类型的版本。 兹比尔0924.68053 法鲁兹卡马雷丁;亚历杭德罗·里奥斯;Wells，Joe B。 5 1998 函数逻辑编程中的多态类型。 Zbl 0971.68081号 冈萨雷斯-莫雷诺，胡安·卡洛斯;霍塔拉·冈萨雷斯，玛丽亚·特蕾莎;马里奥·罗德里格斯·阿塔列霍 4 2001 商项模型和函数逻辑模型的最不完备Herbrand模型的等价性。 Zbl 0924.68048号 马科托·哈马纳 三 1997 线性表机制的实现。 Zbl 1037.68035号 周能发;沈义东;袁丽燕;你，嘉慧 三 2001 关于项重写系统的一个持久性性质的Zantema问题的解。 Zbl 1037.68066号 高仁青藤 三 2001 具有一流环境的简单类型上下文演算。 Zbl 1037.68040号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama 三 2002 二次时间内的Lambda升华。 Zbl 1084.68516号 奥利维尔·丹维;Ulrik P.舒尔茨。 2 2004 函数逻辑程序中的动态谓词。 Zbl 1084.68513号 迈克尔·哈纳斯 2 2004 关于用子类型推理结构化递归效果。 Zbl 0924.68032号 穆拉德·德巴比;扎希亚·阿伊杜德;阿里·法尔 2 1997 逻辑程序作为证明理论属性的主题约简。 Zbl 1037.68029号 皮埃尔·德兰萨特;斯马乌斯，Jan-Georg 2 2002 抽象准一致逻辑编程的统一证明理论基础。 Zbl 1214.68120号 诺里希罗·卡米德 2 2007 函数查询语言中的聚合。 兹比尔1084.68529 毛里西奥索里奥;胡安·卡洛斯·尼维斯;巴拉特·贾亚拉曼 1 2004 特刊：2004年6月1日在德国亚琛举行的第13届函数和（约束）逻辑编程国际研讨会（WFLP 2004）的论文选编和修订。 Zbl 1090.68504号 1 2004 更好的程序专业化消费者。 Zbl 0924.68040号 魏恩根·钦;邱小成 1 1996 推理冗余模式。 Zbl 0924.68047号 迪莉娅·凯斯纳 1 1997 高阶最小函数图。 Zbl 0924.68046号 Jones，Neil D。;罗森达尔，麦兹 1 1997 GNU Prolog系统的设计和实现。 Zbl 1037.68030号 丹尼尔·迪亚兹;菲利普·科多涅特 1 2001 元级区间算法和可验证约束求解。 Zbl 1037.68134号 蒂莫西·希基。 1 2001 改进惰性函数逻辑语言中的确定性计算。 Zbl 1034.68016号 拉斐尔·卡巴列罗;洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 1 2003 基于实数和Herbrand项求解域上扩展clp语言实例的约束。 Zbl 1034.68017号 米盖尔·加西亚·迪亚斯;苏珊娜·尼娃 1 2003 基于窄域的函数逻辑语言的评估语义。 Zbl 0971.68097号 迈克尔·哈纳斯;萨尔瓦多卢卡斯 1 2001 轻松实现多类型编程。 Zbl 0971.68020号 拉尔夫·欣泽 1 2001 分布式对象系统的模块逻辑基础。 Zbl 0946.68015号 朱莉安娜·库斯特·菲利佩 1 2000 Prolog中的逐步增强和高阶编程。 Zbl 0946.68017号 李·奈什;利昂·斯特林 1 2000 检测确定逻辑程序的无法解决的查询。 Zbl 0946.68013号 莫里斯·布吕诺格;亨克·范德卡斯泰尔;安德烈·德瓦尔。;马克·德内克 1 1999 对象和函数的显式替换。 Zbl 0946.68020号 迪莉娅·凯斯纳;巴勃罗·E·马丁内斯·洛佩兹。 1 1999 动态面向对象语言中后期绑定的复杂性分析。 Zbl 0946.68023号 恩里科·蓬泰利;兰詹，德什;戈帕尔·古普塔 1 1999 逻辑程序的自下而上部分演绎。 Zbl 0946.68012号 温·范霍夫;丹尼·德·施雷耶;伯尔尼马滕斯 1 1999 模态λ演算的元理论结果。 Zbl 0946.68016号 乔尔·德斯佩罗;皮埃尔·勒鲁 1 2000 CLP模块更换操作的正确性。 Zbl 0924.68042号 桑德罗·埃塔利;毛里齐奥·加布里埃利 1 1996 集合统一的极小性研究。 Zbl 0924.68044号 普里省阿雷纳斯-桑切斯;阿戈斯蒂诺·多维尔 1 1997 约束理论联合上的约束逻辑编程。 Zbl 0924.68050号 塞萨尔·蒂内利;Mehdi T.哈兰迪。 1 1998 抽象次协调逻辑编程的统一证明理论基础。 Zbl 1214.68120号 诺里希罗·卡米德 2 2007 在函数逻辑计算中封装非确定性。 Zbl 1084.68511号 伯恩德·布拉埃尔;哈努斯，迈克尔;弗兰克，哈 7 2004 二次时间内的Lambda升华。 Zbl 1084.68516号 奥利维尔·丹维;Ulrik P.舒尔茨。 2 2004 函数逻辑程序中的动态谓词。 Zbl 1084.68513号 迈克尔·哈纳斯 2 2004 函数查询语言中的聚合。 Zbl 1084.68529号 毛里西奥索里奥;胡安·卡洛斯·尼维斯;巴拉特·贾亚拉曼 1 2004 特刊：2004年6月1日在德国亚琛举行的第13届函数和（约束）逻辑编程国际研讨会（WFLP 2004）的论文选编和修订。 兹比尔1090.68504 1 2004 改进惰性函数逻辑语言中的确定性计算。 Zbl 1034.68016号 拉斐尔·卡巴列罗;洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 1 2003 基于实数和Herbrand项求解域上扩展clp语言实例的约束。 Zbl 1034.68017号 米盖尔·加西亚·迪亚斯;苏珊娜·尼娃 1 2003 一种实用的多仿射声明语言部分求值方案。 Zbl 1037.68011号 艾尔维拉·阿尔伯特;迈克尔·哈纳斯;德国维达尔 10 2002 具有一流环境的简单类型上下文演算。 Zbl 1037.68040号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama 三 2002 逻辑程序作为证明理论属性的主题约简。 Zbl 1037.68029号 皮埃尔·德兰萨特;斯马乌斯，Jan-Georg 2 2002 函数逻辑编程中的多态类型。 Zbl 0971.68081号 Gonzalez Moreno，胡安·卡洛斯;霍塔拉·冈萨雷斯，玛丽亚·特蕾莎;马里奥·罗德里格斯·阿塔列霍 4 2001 线性制表机制的实现。 Zbl 1037.68035号 周能发;沈义东;袁丽燕;你，嘉慧 三 2001 解决Zantema关于术语重写系统持久性的问题。 Zbl 1037.68066号 高仁青藤 三 2001 GNU Prolog系统的设计与实现。 Zbl 1037.68030号 丹尼尔·迪亚兹;菲利普·科多涅特 1 2001 元级区间算法和可验证约束求解。 Zbl 1037.68134号 蒂莫西·希基。 1 2001 基于缩窄的函数逻辑语言的评估语义。 Zbl 0971.68097号 迈克尔·哈纳斯;萨尔瓦多卢卡斯 1 2001 轻松实现多类型编程。 Zbl 0971.68020号 拉尔夫·欣泽 1 2001 分布式对象系统的模块逻辑基础。 Zbl 0946.68015号 朱莉安娜·库斯特·菲利佩 1 2000 Prolog中的逐步增强和高阶编程。 Zbl 0946.68017号 李·奈什;利昂·斯特林 1 2000 模态λ演算的元理论结果。 Zbl 0946.68016号 乔尔·德斯佩罗;皮埃尔·勒鲁 1 2000 重写中没有意义的术语。 Zbl 0924.68107号 理查德·肯纳韦;文森特·范·奥斯特罗姆;德弗里斯，费扬 21 1999 用集成函数和逻辑语言编程。 Zbl 0924.68056号 劳埃德，约翰 8 1999 lambda项的细粒度表示法及其在内涵运算中的使用。 Zbl 0924.68055号 戈帕兰·纳达图尔 6 1999 检测确定逻辑程序的无法解决的查询。 Zbl 0946.68013号 莫里斯·布吕诺格;亨克·范德卡斯泰尔;安德烈·德瓦尔。;马克·德内克 1 1999 对象和函数的显式替换。 Zbl 0946.68020号 迪莉娅·凯斯纳;巴勃罗·E·马丁内斯·洛佩兹。 1 1999 动态面向对象语言中后期绑定的复杂性分析。 Zbl 0946.68023号 恩里科·蓬泰利;兰詹，德什;戈帕尔·古普塔 1 1999 逻辑程序的自下而上部分演绎。 Zbl 0946.68012号 温·范霍夫;丹尼·德·施雷耶;伯尔尼马滕斯 1 1999 函数和函数程序中的上下文敏感计算。 Zbl 0924.68106号 萨尔瓦多卢卡斯 43 1998 超越深度优先策略：通过替代调度改进表格逻辑程序。 Zbl 0924.68054号 朱莉安娜·弗雷尔;Swift，Terrance公司;大卫·沃伦。 7 1998 广义β-约简和显式替换的演算：无类型和简单类型的版本。 Zbl 0924.68053号 法鲁兹卡马雷丁;亚历杭德罗·里奥斯;Wells，Joe B。 5 1998 约束理论联合上的约束逻辑编程。 Zbl 0924.68050号 塞萨尔·蒂内利;Mehdi T.哈兰迪。 1 1998 声明性调试方案。 Zbl 0924.68125号 奈许，李 12 1997 并发约束编程中的抽象同步。 Zbl 0924.68045号 埃纳扎法内罗;罗伯托·贾科巴齐;乔治·列维 7 1997 商项模型和函数逻辑模型的最不完备Herbrand模型的等价性。 Zbl 0924.68048号 马科托·哈马纳 三 1997 关于用子类型推理结构化递归效果。 Zbl 0924.68032号 穆拉德·德巴比;扎希亚·阿伊杜德;阿里·法尔 2 1997 推理冗余模式。 Zbl 0924.68047号 迪莉娅·凯斯纳 1 1997 高阶最小函数图。 兹比尔0924.68046 Jones，Neil D。;罗森达尔，麦兹 1 1997 集合统一的极小性研究。 Zbl 0924.68044号 普里省阿雷纳斯-桑切斯;阿戈斯蒂诺·多维尔 1 1997 更好的程序专业化消费者。 Zbl 0924.68040号 魏恩根·钦;邱小成 1 1996 CLP模块更换操作的正确性。 Zbl 0924.68042号 桑德罗·埃塔利;毛里齐奥·加布里埃利 1 1996 所有引用出版物 前5名被引用出版物 全部的 前5名207位作者引用 24 萨尔瓦多卢卡斯 10 玛丽亚·阿尔普特 9 劳尔·古铁雷斯 8 拉斐尔·卡巴列罗（Rafael E.Caballero）。 7 何塞·梅塞盖尔·瓜伊塔 6 圣地亚哥埃斯科瓦尔 5 阿勒科恩，比阿特丽兹 5 约尔格恩德鲁利斯 5 莫雷诺，法拉斯基 5 迈克尔·哈纳斯 5 Fairouz D.卡马雷丁。 5 德国维达尔 4 de Vries，Fer Jan J。 4 马里亚纽拉州Dezani-Ciancaglini 4 塞巴斯蒂安·费舍尔 4 伯恩哈德Gramlich 4 杰罗·凯特马 4 马丁·奥列特，纳西索 4 阿德里安·里斯科 4 阿尔贝托·维尔德乔 三 艾尔维拉·阿尔伯特 三 塞尔吉奥·安托伊 三 毛里西奥·阿亚拉·林科恩 三 黛米斯·巴利斯 三 伯恩德·布拉埃尔 三 奥利维尔·丹维 三 卡瓦尔坎蒂·德·莫拉（Cavalcanti de Moura）、弗拉维奥·莱昂纳多（Flávio Leonardo） 三 玛丽亚·德尔马·加拉多 三 弗朗西斯科·杜兰 三 尤兰达加西亚·鲁伊斯 三 迪米特里·亨德里克斯 三 扬·威廉·克鲁普 三 西田，直木 三 卡洛斯·奥拉特 三 恩里科·蓬泰利 三 费尔南多·Sáenz-Pérez 三 Masahiko酒井 三 雅各布·格鲁·西蒙森 三 艾丽西亚·维拉纽埃娃 2 帕特里克·巴尔 2 佛朗哥·巴巴内拉 2 罗尔·布鲁 2 马可·科米尼 2 科雷亚，弗朗西斯科·何塞 2 库卡斯·扎伊卡 2 罗德·德弗里杰尔 2 穆拉德·德巴比 2 拉斐尔·德尔瓦多·维塞达 2 阿戈斯蒂诺·多维尔 2 约翰·加拉赫（John P.Gallagher）。 2 米盖尔·戈梅斯·扎马洛亚 2 弗兰克，哈 2 诺里希罗·卡米德 2 特默尔库西亚 2 约翰·怀利·劳埃德 2 洛佩斯·弗拉瓜斯，弗朗西斯科·哈维尔 2 阿尔特·米德尔多普 2 戈帕兰·纳达图尔 2 吴基祥 2 德国普埃布拉 2 J.瓜达卢佩·拉莫斯 2 罗德里格斯·阿尔塔莱霍，马里奥 2 胡安·罗德里格斯·霍塔拉 2 詹姆·桑切斯·埃尔南德斯 2 朱莉娅·萨皮尼亚 2 费利克斯·舍恩哈默 2 保拉·加布里埃拉·塞维利 2 乔塞普·席尔瓦 2 Swift，Terrance公司 2 萨尔瓦多塔马利特 2 雷内·蒂曼 2 劳拉·蒂托洛 2 西林·特里利 2 乌埃尔、古雷 2 泽维尔·乌尔班 1 Ager，Mads Sig公司 1 法比奥·阿莱西 1 尼里娜·安德里亚纳里韦洛 1 高仁青藤 1 阿兰达·洛佩斯，加布里埃尔 1 詹姆·阿里亚斯 1 华金·阿里亚斯 1 古斯塔沃·阿罗约 1 尤尔根阿文豪斯 1 巴博萨，A.V。 1 北卡罗来纳州本索。 1 鲁道夫·伯哈默 1 英格·贝斯克 1 安娜丽莎·博西 1 雅克·卡雷特 1 曼纽尔·卡罗 1 詹姆斯·切尼 1 简·克里斯蒂安森 1 弗朗西索·科雷亚 1 科尔特斯，尤利西斯 1 安吉尔·昆卡-奥尔特加 1 亚历山德罗·达尔·帕洛 1 奥尔内拉·达达 1 桑德拉·戴卢斯 1 索尼娅·埃斯特韦兹·马汀 …和107多位作者 全部的 前5名26种期刊引用 22 理论计算机科学 7 符号计算杂志 7 信息与计算 7 逻辑与代数程序设计杂志 7 逻辑程序设计理论与实践 6 信息处理信件 6 程序设计中的逻辑和代数方法杂志 5 自动推理杂志 4 计算机科学中的逻辑方法 2 计算机与系统科学杂志 2 计算机程序设计科学 2 新一代计算 2 计算的形式方面 2 约束条件 2 计算机语言、系统和结构 1 信息学报 1 逻辑研究 1 纯逻辑与应用逻辑年鉴 1 机器学习 1 计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 数学与人工智能年鉴 1 高阶和符号计算 1 RAIRO公司。理论信息学及其应用 1 应用逻辑杂志 1 非线性分析。混合动力系统 全部的 前5名10个领域引用 153 计算机科学（68至XX） 42 数学逻辑和基础（03-XX） 2 一般代数系统（08-XX） 1 组合数学（05-XX） 1 场论和多项式（12-XX） 1 一般拓扑结构（54至XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文