Study on Ground Confluence of Rewrite Systems

重写系统地面汇合研究

基本信息

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

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
青戸研究室ウェブページ
青藤实验室网页
  • DOI:
  • 发表时间:
  • 期刊:
  • 影响因子:
    0
  • 作者:
  • 通讯作者:
条件付き項書き換えシステムにおけるホーン節帰納的定理の自動証明
条件项重写系统中Horn子句归纳定理的自动证明
Parallel Closure Theorem for Left-Linear Nominal Rewriting Systems
左线性标称重写系统的并行闭包定理
Nominal Confluence Tool
标称汇流工具
Improving rewriting induction approach for proving ground confluence
改进重写归纳方法以验证地面融合
{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ 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 }}

Aoto Takahito其他文献

Phase disambiguation using spatio-temporally modulated illumination in depth sensing
在深度传感中使用时空调制照明进行相位消歧
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables
具有原子变量的标称重写系统的汇合与交换
Optical tomography based on shortest-path model for diffuse surface object
基于最短路径模型的漫反射表面物体光学层析成像
Reconstruction of volumetric reflectance using spatio-sequential frequency correlation imaging
使用时空序列频率相关成像重建体积反射率
  • DOI:
    10.1145/3283254.3283278
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Takatani Tsuyoshi;Aoto Takahito;Tanaka Kenichiro;Funatomi Takuya;Mukaigawa Yasuhiro
  • 通讯作者:
    Mukaigawa Yasuhiro
Recovering temporal PSF using ToF camera with delayed light emission
使用具有延迟光发射的 ToF 相机恢复时间 PSF
  • DOI:
    10.1186/s41074-017-0026-3
  • 发表时间:
    2017
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Kitano Kazuya;Okamoto Takanori;Tanaka Kenichiro;Aoto Takahito;Kubo Hiroyuki;Funatomi Takuya;Mukaigawa Yasuhiro
  • 通讯作者:
    Mukaigawa Yasuhiro

Aoto Takahito的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Aoto Takahito', 18)}}的其他基金

Inductive thoeorems and ground confluence for conditional term rewriting systems
条件项重写系统的归纳定理和基本汇合
  • 批准号:
    18K11158
  • 财政年份:
    2018
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Development of mechanical metamaterial for controlling a texture deformation using digital fabrication technique
使用数字制造技术开发用于控制纹理变形的机械超材料
  • 批准号:
    17K19980
  • 财政年份:
    2017
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Grant-in-Aid for Challenging Research (Exploratory)
Visualization of Complex Material Property via Computational Photography
通过计算摄影实现复杂材料特性的可视化
  • 批准号:
    17H04686
  • 财政年份:
    2017
  • 资助金额:
    $ 2.91万
  • 项目类别:
    Grant-in-Aid for Young Scientists (A)
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了