编辑配置文件（在新选项卡中打开） 佐藤真彦 合著者距离 作者ID： 佐藤正彦 发布日期： 佐藤真彦 外部链接： MGP公司·数据库许可证 已编制索引的文档： 42出版物自1972年起 5名编辑的贡献·1进一步贡献 合著者： 14合著者具有19联合出版物 327位合作作者 全部的 前5名合著者 18 单作者的 7 Yukiyoshi县Kameyama 6 高府樱井 三 兰迪·波拉克 2 罗德·M·伯斯托尔。 2 尼尔·D·琼斯。 2 富山，吉藤义彦 1 荒木，Keijiro 1 杜莫托、舒吉 1 Masami Hagiya 1 小三郎桥口 1 何继峰 1 Teruo Hikita公司 1 Chiharu Hosono公司 1 Atsushi Igarashi 1 艾诺，A。 1 清崎Ishibatake 1 武提伊祖米 1 川崎雅彦 1 金山，玉田 1 东京卡拉萨瓦 1 小林，小二郎 1 丸野英树 1 坎佐·马赛克 1 保罗·E·纳科西。 1 中松、久雄 1 Teruyasu西泽 1 胡安·阿古斯汀·诺达 1 北大岛。 1 小野，Hiroakira 1 Oshiro、Kiyoichi 1 波拉德，T。 1 威尔默·里奇奥蒂 1 威廉·施瓦兹。 1 赫尔穆特·施维赫滕贝格 1 达娜·斯图尔特·斯科特 1 塞勒斯，霍华德·肖恩 1 北苏达尼。 1 杉叶，Yuya 1 佐藤高须 1 卡佐Ushijima 1 铃木山崎 1 亚齐马、舒佐 1 马萨塔卡·约里纳加 1 斯蒂芬·N·齐尔斯。 全部的 前5名系列 5 京都大学数学科学研究所出版物 4 理论计算机科学 2 RIMS Kokyuroku公司 2 计算机科学课堂讲稿 1 计算机和结构 1 国际控制杂志 1 国际多相流杂志 1 流体力学杂志 1 声音与振动杂志 1 核物理。A类 1 组合理论杂志。A系列 1 符号逻辑杂志 1 符号计算杂志 1 自动推理杂志 1 国际计算机科学基础杂志 1 非牛顿力学流体机械 1 Indagationes Mathematicae公司。新系列 1 函数与逻辑程序设计杂志 1 计算机基础理论 1 日本科学院院刊 1 理论生物学杂志 全部的 前5名领域 19 计算机科学（68至XX） 18 数学逻辑和基础（03-XX） 7 总体主题；集合（00-XX） 三 流体力学（76-XX） 2 阶、格、有序代数结构（06-XX） 2 数论（11-XX） 2 粒子和系统力学（70-XX） 2 可变形固体力学（74-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 历史与传记（01-XX） 1 组合数学（05-XX） 1 交换代数（13-XX） 1 结合环与代数（16-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 运筹学、数学编程（90-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用90中的次71文件 引用人▼ 年份▼ 用Gentzen的序列方法研究某些模态逻辑的Kripke型模型。 兹伯利0405.03013 佐藤真彦 24 1977 绑定的规范本地命名表示。 Zbl 1270.68073号 兰迪·波拉克;佐藤真彦;威尔默·里奇奥蒂 12 2012 风洞流动中冲击波从规则反射转变为马赫反射的不规则效应。 Zbl 0991.76511号 苏达尼，N。;佐藤，M。;卡拉萨瓦，T。;野田佳彦。;泰特，A。;渡边，M。 12 2002 逻辑、语言和计算。纪念佐托鲁·高须幸男。 Zbl 0825.00045号 7 1994 不依赖于参数导数的增益调度控制器的设计方法。 Zbl 1152.93378号 佐藤，M。 6 2008 \（\lambda\）-演算的外部和内部语法。 兹比尔1192.68140 佐藤真彦;兰迪·波拉克 6 2010 模态逻辑S5的无切割Gentzen型系统。 Zbl 0444.03010号 佐藤真彦 6 1980 元变量计算。 Zbl 1116.03321号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama;Atsushi Igarashi 5 2003 符号表达理论。一、。 Zbl 0535.68013号 佐藤真彦 4 1983 通过映射查看\（{\lambda}\）-术语。 Zbl 1359.03016号 佐藤真彦;兰迪·波拉克;赫尔穆特·施维赫滕贝格;高府樱井 三 2013 具有一流环境的简单类型上下文演算。 Zbl 1037.68040号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama 三 2002 显式环境。 Zbl 1001.03014号 佐藤真彦;高府樱井;布斯托尔，罗德 三 2001 使用分层参数的对称层合板的屈曲设计。 Zbl 0900.73229号 H·福冈。;H·塞金。;佐藤，M。;艾诺，A。 三 1995 符号表达理论。二、。 Zbl 0592.68034号 佐藤真彦 2 1985 符号表达式的抽象机制。 Zbl 0755.68082号 佐藤真彦 2 1991 显式环境。（扩展摘要）。 Zbl 0931.03028号 佐藤真彦;高府樱井;布斯托尔，罗德 2 1999 具有接球和投掷规则的直觉和经典自然演绎系统。 Zbl 0904.03016号 佐藤真彦 2 1997 关于某些伪随机序列的周期。 兹比尔0301.65003 佐藤真彦 1 1974 非确定性接球/投掷结石的强归一化性。 Zbl 0984.68029号 Yukiyoshi县Kameyama;佐藤真彦 1 2002 振荡球阻力的边界效应：在磁球流变仪中的应用。 Zbl 0633.76009号 卖方，H.S。;施瓦兹，W.H。;佐藤，M。;波拉德，T。 1 1987 Quty：一种基于逻辑和函数的并发语言。 Zbl 0662.68029号 佐藤真彦 1 1988 判断和推导理论。 Zbl 1052.03520号 佐藤真彦 1 2002 具有一流环境的简单类型上下文演算。 Zbl 0979.03014号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama 1 2001 具有标签抽象和强大规范化能力的经典捕获/抛出演算。《澳大利亚计算机科学通讯》第20卷第3期（1998年）。 Zbl 0952.68019号 Yukiyoshi县Kameyama;佐藤真彦 1 1998 经典的Brouwer-Heyting-Kolmogorov解释。 Zbl 0889.03051号 佐藤真彦 1 1997 1998年4月2日至4日在日本京都举行的第三届富士国际函数和逻辑编程研讨会的论文。 Zbl 0937.68026号 1 1998 对称层合板基频优化设计。 Zbl 1064.74641号 H·福冈。;H·塞金。;佐藤，M。 1 1994 向Frege结构添加证明对象和归纳定义机制。 Zbl 1496.03251号 佐藤真彦 1 1991 通过映射查看\（{\lambda}\）-术语。 Zbl 1359.03016号 佐藤真彦;兰迪·波拉克;赫尔穆特·施维赫滕贝格;高府樱井 三 2013 绑定的规范本地命名表示。 Zbl 1270.68073号 兰迪·波拉克;佐藤真彦;威尔默·里奇奥蒂 12 2012 \（\lambda\）-演算的外部和内部语法。 兹比尔1192.68140 佐藤真彦;兰迪·波拉克 6 2010 不依赖于参数导数的增益调度控制器的设计方法。 Zbl 1152.93378号 佐藤，M。 6 2008 元变量计算。 Zbl 1116.03321号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama;Atsushi Igarashi 5 2003 风洞流动中激波从规则反射过渡到马赫反射的不规则效应。 Zbl 0991.76511号 北苏达尼。;佐藤，M。;卡拉萨瓦，T。;野田，J。;泰特，A。;渡边，M。 12 2002 具有一流环境的简单类型上下文演算。 兹比尔1037.68040 佐藤真彦;高府樱井;Yukiyoshi县Kameyama 三 2002 非确定性接球/投掷结石的强归一化性。 Zbl 0984.68029号 Yukiyoshi县Kameyama;佐藤真彦 1 2002 判断和推导理论。 Zbl 1052.03520号 佐藤真彦 1 2002 显式环境。 Zbl 1001.03014号 佐藤真彦;高府樱井;布斯托尔，罗德 三 2001 具有一流环境的简单类型上下文演算。 Zbl 0979.03014号 佐藤真彦;高府樱井;Yukiyoshi县Kameyama 1 2001 显式环境。（扩展摘要）。 Zbl 0931.03028号 佐藤真彦;高府樱井;布斯托尔，罗德 2 1999 具有标签抽象和强大规范化能力的经典捕获/抛出演算。《澳大利亚计算机科学通讯》第20卷第3期（1998年）。 Zbl 0952.68019号 Yukiyoshi县Kameyama;佐藤真彦 1 1998 1998年4月2日至4日在日本京都举行的第三届富士国际函数和逻辑编程研讨会的论文。 Zbl 0937.68026号 1 1998 直觉主义和经典的自然演绎系统，带有接球和投掷规则。 Zbl 0904.03016号 佐藤真彦 2 1997 经典的Brouwer-Heyting-Kolmogorov解释。 Zbl 0889.03051号 佐藤真彦 1 1997 使用分层参数的对称层合板的屈曲设计。 Zbl 0900.73229号 H·福冈。;H·塞金。;佐藤，M。;艾诺，A。 三 1995 逻辑、语言和计算。纪念佐托鲁·高须幸男。 Zbl 0825.00045号 7 1994 对称层合板基频优化设计。 Zbl 1064.74641号 H·福冈。;H·塞金。;佐藤，M。 1 1994 符号表达式的抽象机制。 兹比尔0755.68082 佐藤真彦 2 1991 向Frege结构添加证明对象和归纳定义机制。 Zbl 1496.03251号 佐藤真彦 1 1991 Quty：一种基于逻辑和函数的并发语言。 兹比尔0662.68029 佐藤真彦 1 1988 振荡球阻力的边界效应：在磁球流变仪中的应用。 Zbl 0633.76009号 卖方，H.S。;施瓦兹，W.H。;佐藤，M。;波拉德，T。 1 1987 符号表达理论。二、。 Zbl 0592.68034号 佐藤真彦 2 1985 符号表达理论。一、。 Zbl 0535.68013号 佐藤真彦 4 1983 模态逻辑S5的无切割Gentzen型系统。 Zbl 0444.03010号 佐藤真彦 6 1980 用Gentzen的序列方法研究某些模态逻辑的Kripke型模型。 Zbl 0405.03013号 佐藤真彦 24 1977 关于某些伪随机序列的周期。 Zbl 0301.65003号 佐藤真彦 1 1974 所有引用出版物 前5名被引用出版物 全部的 前5名90位作者引用 6 佐藤真彦 4 Hirokazu西村 三 加贝，默多克-詹姆斯 三 Joseph Yehuda Halpern 三 兰迪·波拉克 2 埃内斯托·科佩洛 2 罗马库兹涅茨 2 小野，Hiroakira 2 碧姬·品特卡 2 安德鲁·皮特斯（Andrew M.Pitts）。 2 弗朗西丝卡·波乔列西 2 弗朗索瓦·波蒂埃 2 赫尔穆特·施维赫滕贝格 2 诺拉·萨兹 2 阿尔瓦罗·塔西斯特罗 2 城市，基督教 1 弗兰兹·阿赫尔曼 1 莫伊塔巴·阿盖伊 1 Yohji阿卡玛 1 卡贾·贝德纳斯卡 1 布拉米，斯蒂芬 1 安娜·波夫 1 凯·布伦勒 1 卢克·爱德华·伯克 1 马修·德·布莱希特 1 路易斯·德·马塞多·穆雷利 1 Stéphane P.德姆里。 1 罗纳德·费金 1 玛丽贝尔·费尔南德斯 1 安东·弗伦德 1 迪迪埃·加米歇 1 洛伦佐·盖里 1 拉杰夫·普拉巴卡尔·戈尔 1 奥列格·米哈·洛维奇·格里戈列夫 1 马科托·哈马纳 1 琉长谷川 1 桥本正友 1 Susumu Hayashi 1 胡太伟 1 劳埃德·亨伯斯通 1 Atsushi Igarashi 1 安德热伊·因德泽扎克 1 塞萨里·卡利西克 1 Yukiyoshi县Kameyama 1 马莫鲁·卡内科 1 鹿岛，良 1 杰弗里·裘德·克莱恩 1 马修·拉金。 1 Lee，Gyesik先生 1 圣埃芬·让·埃里克·伦格兰德 1 皮埃尔·莱斯坎 1 彼得·马克西莫维奇 1 阿娜·特蕾莎·马丁斯 1 伊恩·梅森。 1 麦克布赖德，康纳·托马斯 1 迈克尔·门德勒 1 哈姆泽·穆罕默德 1 摩西，约拉姆 1 纳迪亚·内贾赫 1 哈拉尔德·尼德雷特 1 奥斯卡·M·尼尔斯特拉斯。 1 佐兰·奥格尼亚诺维奇 1 Atsushi Ohori 1 Park，琼云 1 松武公园 1 雅罗斯拉夫·伊戈列维奇·彼得鲁金 1 弗兰克·芬宁 1 安德烈·波佩斯库 1 尼古拉斯·波伊拉德 1 拉马霍·马丁斯（Lamalho Martins，Lília） 1 雷文莎·拉马纳亚克 1 杰森·里德 1 威尔默·里奇奥蒂 1 格里高·罗什乌 1 高府樱井 1 斯蒂芬·谢勒 1 阿兰·施密特 1 莫妮卡·塞森伯格 1 Seo、Jeongbong 1 保罗·斯坦西弗 1 普尼基·斯托帕 1 铃木，Nobu-Yuki 1 高山由纪德 1 津田，武士 1 莫西·亚亚科夫·瓦尔迪 1 沃达，Paul J。 1 米切尔·旺德 1 王仁君 1 弗朗齐斯科斯·威斯内特 1 山本明弘 全部的 前5名24篇连载文章中引用 13 理论计算机科学 5 京都大学数学科学研究所出版物 5 函数编程杂志 4 自动推理杂志 4 符号逻辑述评 2 人工智能 2 符号逻辑杂志 2 Studia Logica公司 2 纯逻辑与应用逻辑年鉴 2 逻辑与逻辑哲学 1 信息学报 1 计算机与系统科学杂志 1 合成 1 符号计算杂志 1 新一代计算 1 信息与计算 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 经济理论 1 数学与人工智能年鉴 1 高阶与符号计算 1 离散算法杂志 1 美国数学学会公报 1 泛逻辑 全部的 前5名在7个字段中引用 46 数学逻辑和基础（03-XX） 43 计算机科学（68至XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 范畴理论；同调代数（18-XX） 1 数值分析（65-XX） 按年份列出的引文