×

Refal公司

swMATH编号： 27634
软件作者： 瓦伦丁·F·土琴
描述： Refal是一种函数式编程语言，其中计算是通过对文本和符号信息的模式匹配来驱动的。
主页： http://www.refal.net/index_e.htm
相关软件： 哈斯克尔;COSTA公司;CiaoPP公司;Ciao公司;莫德;幼儿保育和教育;阿尔戈60;AProVE公司;Coq公司;简化;github;快速规范;图形c;HipSpec（髋关节规范）;芝诺牌手表;垫片;VeriMAP公司;助推器;数据日志;SeaHorn公司
引用于： 45文件

标准文章

2出版物描述软件，包括2出版物以zbMATH为单位 年份
超级编译器的概念。 兹比尔0598.68016
Valentin F.图尔钦。
1986
Die Sprache REFAL和ihr Gebrauch zur变换代数Ausdrücke。 Zbl 0199.51902号
图尔钦（V.F.Turchin）。;谢尔多博尔斯基，V.I。
1969
全部的 前5名

64位作者引用

3 阿列克谢·利西萨（Alexei P.Lisitsa）。
3 安德烈·奈米提克（Andrei P.Nemytykh）。
2 艾尔维拉·阿尔伯特
2 曼纽尔·克莱维尔
2 福村义彦
2 罗伯特·格莱克
2 杰夫·汉密尔顿。
2 尼尔·D·琼斯。
2 Klyuchnikov，I.G。
2 何塞·梅塞盖尔·瓜伊塔
2 谢尔盖·罗曼恩科。
2 Valentin F.图尔钦。
2 图什金娜，T.A。
1 萨姆森·艾布拉姆斯基
1 普里阿雷纳斯
1 本杰明·阿齐兹
1 尼古拉·S·比约纳。
1 莫里斯·布吕诺格
1 理查德·布贝尔
1 米哈伊尔·布尔永科夫。
1 丹尼·德·施雷耶
1 安德烈·彼得罗维奇·埃尔肖夫
1 大卫·A·富勒。
1 萨米尔·根奈姆
1 S.A.格雷查尼克。
1 阿里·古芬克尔
1 雷纳·哈内尔
1 罗加德·赫尔达尔
1 季冉
1 帕斯卡尔·朱利安
1 哈里托诺夫，Eh.V。
1 曾次郎科尼西
1 塔吉亚娜·马特维耶夫纳·科索夫斯卡娅
1 科索夫斯基、尼古拉·尼古拉耶维奇
1 新泽西州科索夫斯基。
1 克里夫奇科夫，医学硕士。
1 迪米特·尼古拉耶夫·克鲁斯特夫
1 肯尼思·麦克米兰。
1 莫雷诺，吉纳斯
1 Antonina N.内佩维奥达。
1 内佩？沃达，尼古拉？尼古拉埃维奇
1 瓦莱里·A·内波米纳西。
1 肯罗库·诺吉
1 米盖尔·帕洛米诺
1 托马斯·佩塞利
1 詹姆·佩纳巴德
1 阿尔贝托·佩特罗西
1 毛里齐奥·普罗埃蒂
1 德国普埃布拉
1 美国雷迪。
1 A.C.里夫斯。
1 苏菲·雷诺
1 维克托·弗拉基米洛维奇·鲁萨诺夫
1 安德烈·里巴尔琴科
1 大卫·桑兹
1 瓦迪姆·塞尔多博尔斯基。
1 彼得·塞斯托夫特
1 Shakhbazyan，K.V.公司。
1 斯科平，I.N。
1 A.A.苏里莫夫。
1 高野明彦
1 瓦森宁，V.A。
1 德国维达尔
1 Aleksandr Vasil’evich扎姆林
全部的 前5名

17篇连载文章中引用

10 理论计算机科学
7 编程和计算机软件
4 新一代计算
3 苏联数学杂志
1 信息处理信件
1 计算物理杂志
1 模糊集与系统
1 Kibernetika岛
1 程序设计语言与系统学报
1 符号计算杂志
1 自动推理杂志
1 国际计算机科学基础杂志
1 维斯特尼克圣彼得堡大学。数学
1 图表
1 高阶和符号计算
1 逻辑与代数程序设计杂志
1 程序设计中的逻辑和代数方法杂志
全部的 前5名

在7个字段中引用

42 计算机科学（68至XX）
5 数学逻辑和基础（03-XX）
2 数值分析（65-XX）
1 总体主题；集合（00-XX）
1 数论（11-XX）
1 范畴理论；同调代数（18-XX）
1 概率论与随机过程（60-XX）

按年份列出的引文