Classical logic and infinite phenomena in computation

经典逻辑和计算中的无限现象

基本信息

  • 批准号：
    15K00012
  • 负责人：
    Nakazawa Koji
  • 金额：
    $ 2.58万
  • 依托单位：
    Nagoya University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
  • 财政年份：
    2015
  • 资助国家：
    日本
  • 起止时间：
    2015-04-01 至 2018-03-31
  • 项目状态：
    已结题

项目摘要

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
Compositional Z: Confluence Proofs for Permutative Conversion
组合 Z：置换转换的汇合证明
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Koji Nakazawa;Ken-etsu Fujita
  • 通讯作者：
    Ken-etsu Fujita
Lambda Calculi and Confluence from A to Z
从 A 到 Z 的 Lambda 演算和 Confluence
  • DOI：
  • 发表时间：
    2015
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Satoyuki Tanaka;Daisuke Yanagihara;Aya Yasuoka;Minoru Harada;Shigenobu Okazawa;Masahiko Fujikubo and Tetsuya Yao;Koji Nakazawa
  • 通讯作者：
    Koji Nakazawa
Church-Rosser theorem and compositional Z-property
Church-Rosser 定理和组合 Z 属性
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Ulrich Berger;Sewon Park;Holger Thies and Hideki Tsuiki;Ken-etsu Fujita and Koji Nakazawa
  • 通讯作者：
    Ken-etsu Fujita and Koji Nakazawa
Characterizing trees for lambda-mu terms
表征树的 lambda-mu 项
  • DOI：
  • 发表时间：
    2016
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Koji Nakazawa
  • 通讯作者：
    Koji Nakazawa
Z for call-by-value
Z 表示按值调用
  • DOI：
  • 发表时间：
    2017
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Koji Nakazawa;Ken-etsu Fujita;and Yuta Imagawa
  • 通讯作者：
    and Yuta Imagawa
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

Nakazawa Koji其他文献

Z property for the shuffling calculus
混洗演算的 Z 属性
Restriction on Cut in Cyclic Proof System for Symbolic Heaps
符号堆循环证明系统中剪切的限制
Completeness of Cyclic Proofs for Symbolic Heaps with Inductive Definitions
具有归纳定义的符号堆循环证明的完整性
  • DOI：
    10.1007/978-3-030-34175-6_19
  • 发表时间：
    2019
  • 期刊：
    LNCS (APLAS 2019)
  • 影响因子：
    0
  • 作者：
    Tatsuta Makoto;Nakazawa Koji;Kimura Daisuke
  • 通讯作者：
    Kimura Daisuke

Nakazawa Koji的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Nakazawa Koji', 18)}}的其他基金

Proof theoretic analysis of cyclic proof systems
循环证明系统的证明理论分析
  • 批准号：
    18K11161
  • 财政年份：
    2018
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)

相似海外基金

非古典論理の導入による形式意味論の一階述語論理化
通过引入非经典逻辑将形式语义转换为一阶谓词逻辑
  • 批准号：
    24KJ0952
  • 财政年份：
    2024
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
矛盾許容性、曖昧性及び不確実性を考慮した拡張非古典論理の基礎理論とその応用
考虑矛盾容忍、模糊性和不确定性的扩展非经典逻辑基本理论及其应用
  • 批准号：
    23K10990
  • 财政年份：
    2023
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
CDS&E: Mixed Quantum/Classical Theory for the Collisional Quenching of Interstellar Complex Organic Molecules
CDS
  • 批准号：
    2102465
  • 财政年份：
    2021
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Continuing Grant
Viscous Extension of the Classical Theory of Unsteady Aerodynamics
经典非定常空气动力学理论的粘性推广
  • 批准号：
    2005541
  • 财政年份：
    2020
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Standard Grant
古典論理に基づく計算系とその性質の検証
基于经典逻辑的计算系统及其属性的验证
  • 批准号：
    17K00005
  • 财政年份：
    2017
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Scientific Research (C)
CNIC: Benchmark Studies of Collisional Energy Transfer using Mixed Quantum/Classical Theory
CNIC：使用混合量子/经典理论的碰撞能量转移基准研究
  • 批准号：
    1338885
  • 财政年份：
    2013
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Standard Grant
古典論理に基づく非決定的計算体系
基于经典逻辑的非确定性计算系统
  • 批准号：
    16700012
  • 财政年份：
    2004
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
近似プログララムの計算論-古典論理の証明のテストにむけて-
近似程序的计算理论 - 走向测试经典逻辑的证明 -
  • 批准号：
    15700001
  • 财政年份：
    2003
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for Young Scientists (B)
Semi-classical theory of tunneling processes in mixed regular-chaotic systems
混合正则混沌系统中隧道过程的半经典理论
  • 批准号：
    5395404
  • 财政年份：
    2003
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Research Grants
非古典論理によるソフトウェア記述へのアプローチ
使用非经典逻辑的软件描述方法
  • 批准号：
    02J02624
  • 财政年份：
    2002
  • 资助金额：
    $ 2.58万
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了