搜索历史记录选项已关闭，请开启搜索历史记录选项。
作者： Susumu Hayashi
DOI:
关键词:
摘要:
暂无可下载资源，当前可以选择系统获取到有开放资源时 通知我或者直接发起求助 文献求助
,1990, 引用: 1
,2001, 引用: 0
Publications of The Research Institute for Mathematical Sciences,1990, 引用: 0
computer science logic,1991, 引用: 0
international conference on typed lambda calculi and applications,1993, 引用: 69
International Journal on Software Tools for Technology Transfer,2015, 引用: 10
Journal of Logic Programming,1994, 引用: 67
Theoretical Computer Science,1990, 引用: 6
Theoretical Computer Science,1992, 引用: 3
formal methods,1993, 引用: 0
