佐藤正彦 0001
人员信息
附属: 日本京都大学
其他同名人员
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2010 – 2019
2012 [公元12年] 兰迪·波拉克 , 佐藤正彦 , 威尔默·里奇奥蒂 :
绑定的规范本地命名表示。 J.汽车。 原因。 49 ( 2 ) : 185-207 ( 2012 ) 2010 [公元11年] 佐藤正彦 , 兰迪·波拉克 :
lambda-calculus的外部和内部语法。 J.塞姆。 计算。 45 ( 5 ) : 598-616 ( 2010 )
2000 – 2009
2008 [公元10年] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 谷山由纪夫 , Atsushi Igarashi先生 :
元变量计算。 前沿计算。 科学。 中国 2 ( 1 ) : 12-21 ( 2008 ) [公元9年] 佐藤正彦 :
用于自然检查证据的框架。 J.智力。 信息系统。 31 ( 2 ) : 111-125 ( 2008 ) 2004 [第16条] 佐藤正彦 :
表达、判断和推导的简单理论。 亚洲的 2004 : 437-451 2003 [第15条] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 谷山由纪夫 , Atsushi Igarashi先生 :
元变量演算。 CSL公司 2003 : 484-497 2002 [j8] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 谷山由纪夫 :
一种具有一级环境的简单类型上下文演算。 J.功能。 日志。 程序。 2002 ( 2002 ) [j7] 谷山由纪夫 , 佐藤正彦 :
非确定性捕获/抛出计算的强规范化能力。 西奥。 计算。 科学。 272 ( 1-2 ) : 223-245 ( 2002 ) [第14条] 佐藤正彦 :
判断和推导理论。 发现科学进展 2002 : 78-122 2001 [j6] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 罗德·M·伯斯托尔 :
显式环境。 芬丹。 信息学 45 ( 1-2 ) : 79-115 ( 2001 ) [第13条] 佐藤正彦 , 谷山由纪夫 , 伊祖米·武提(Izumi Takeuti) :
CAL:计算机辅助计算和逻辑学习系统。 欧洲广播公司 2001 : 509-524 [第12条] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 谷山由纪夫 :
具有一级环境的简单类型上下文演算。 FLOPS(浮动) 2001 : 359-374 2000 [电子3] 何继峰 , 佐藤正彦 :
《计算科学进展——2000年亚洲》,第六届亚洲计算科学会议,马来西亚槟城,2000年11月25日至27日,会议记录。 计算机科学课堂讲稿 1961, 施普林格 2000 ,国际标准图书编号 3-540-41428-2 [目录]
1990 – 1999
1999 [第11条] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) , 罗德·M·伯斯托尔 :
显式环境。 薄层色谱分析 1999 : 340-354 1998 [第10条] 谷山由纪夫 , 佐藤正彦 :
带标记抽象的经典接球/投掷微积分及其强正规化。 猫 1998 : 183-198 [电子2] 佐藤正彦 , 富山义彦 :
第三届富士国际函数和逻辑编程研讨会,FLOPS 1998,日本京都,Apil 2-41998。 新加坡世界科学 1998 ,国际标准图书编号 981-02-3384-1 [目录] 1997 [j5] 佐藤正彦 :
直觉主义和经典自然演绎系统与接球和投掷规则。 西奥。 计算。 科学。 175 ( 1 ) : 75-92 ( 1997 ) 【c9】 佐藤正彦 :
经典Brouwer-Heyting-Kolmogorov解读。 中高音 1997 : 176-196 1996 【c8】 Tetsuya Manabe公司 , 佐藤正彦 , 塔达希·科塔尼 , 藤森 :
地下通信管道声学检测系统的故障检测算法。 国际空间站协会 1996 : 266-269 1994 【c7】 佐藤正彦 , 谷山由纪夫 :
Lambda对Lambda-sigma-Calculus的保守性。 逻辑、语言和计算 1994 : 73-94 【c6】 佐藤正彦 :
一种带有封装赋值的纯函数式语言。 节气门执行器控制系统 1994 : 179-202 [电子1] 尼尔·D·琼斯 , Masami Hagiya先生 , 佐藤正彦 :
逻辑、语言和计算,纪念Satoru Takasu的Festschrift。 计算机科学课堂讲稿 792, 施普林格 1994 ,国际标准图书编号 0-387-57935-4 [目录] 1991 【c5】 佐藤正彦 :
向Frege结构添加证明对象和归纳定义机制。 节气门执行器控制系统 1991 : 53-87
1980 – 1989
1987 【c4】 佐藤正彦 :
Quty:一种基于逻辑和函数的并发语言。 ICLP公司 1987 : 1034-1056 1986 [第1页] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) :
QUTE:一种基于统一的功能语言。 逻辑程序设计:函数、关系和方程 1986 : 131-155 1984 【c3】 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) :
QUTE:一种基于统一的功能语言。 FGCS公司 1984 : 157-165 1983 【j4】 佐藤正彦 :
符号表达理论,I。 西奥。 计算。 科学。 22 : 19-55 ( 1983 ) [c2] 佐藤正彦 , 樱井隆夫(Takafumi Sakurai) :
Qute:用于逻辑编程的Prolog/Lisp类型语言。 国际JCAI 1983 : 507-513 1980 [j3] 佐藤正彦 :
模态逻辑S5的无切割Gentzen型系统。 J.塞姆。 日志。 45 ( 1 ) : 67-84 ( 1980 )
1970 – 1979
1979 【c1】 佐藤正彦 :
走向程序综合的数学理论。 国际JCAI 1979 : 757-762 1977 [注2] Chiharu Hosono先生 , 佐藤正彦 :
缩回 PΩ 不形成连续格——斯科特问题的一个解决方案。 西奥。 计算。 科学。 4 ( 2 ) : 137-142 ( 1977 ) 1976 [j1] 佐藤正彦 :
关于与对称群有关的形式分式。 J.库姆。 理论A 20 ( 1 ) : 124-131 ( 1976 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)