按年份列出的出版物
登录
理论计算机科学
/
第条
搜索:
搜索
J.F.Groote(简·弗里索)
1993-09-01
带有否定前提的过渡系统规范
出版物
出版物
理论计算机科学
,
第118卷
-
第2版
第263页-
299
其他元数据
出版商
埃尔塞维尔
日记账
理论计算机科学
引用
美国心理学协会体例
AAA风格
美国心理学协会体例
单元格样式
芝加哥式比萨
哈佛风格
IEEE样式
美国现代语言协会体例
自然风格
温哥华体例
美国物理学会
科学编辑委员会风格
BibTex格式
尾注格式
RIS格式
CSL格式
仅DOI格式
Groote,J.F.(1993)。
带有否定前提的过渡系统规范。
理论计算机科学
,
118
(2), 263–299.
免费
全文
(
最终版本
)
其他文件
0194D.pdf格式
最终版本
,400万
发布者版本
×
工作流
×
工作流
×
添加内容
用户
出版物
人
组织
收藏