文件Open Access徽标

封面、目录、前言、会议组织

作者 小林直树



PDF格式
缩略图PDF

文件

LIPIcs公司。FSCD.2021.0.pdf
  • 文件大小:0.53 MB
  • 16页

文件标识符

作者详细信息

小林直树
  • 日本东京大学

引用为获取BibTex

第六届计算和演绎形式结构国际会议(FSCD 2021)。莱布尼茨国际信息学论文集(LIPIcs),第195卷,第0:i-0:xvi页,达格斯图尔-莱布尼兹-泽特鲁姆信息学研究所(2021)
https://doi.org/10.4230/LIPIcs.FSCD.2021.0

摘要

封面、目录、前言、会议组织

主题分类

ACM科目分类
  • 计算理论计算模型
  • 计算理论形式语言与自动机理论
  • 计算理论逻辑
  • 计算理论语义和推理
  • 软件及其工程语言特点
  • 软件及其工程正式语言定义
  • 软件及其工程形式化方法
关键词
  • 前部物质
  • 目录
  • 前言
  • 会议组织

韵律学

问题/备注/反馈
X(X)

Dagstuhl出版社反馈


感谢您的反馈!

已提交反馈

无法发送消息

请稍后再试或发送电子邮件