未找到相关数据
Decision method of reachability based on rewrite rule overlapping
被引：0
作者：
机构：
[1] [1,Shimanuki, Kentaro
[2] Aoto, Takahito
[3] Toyama, Yoshihito
来源：
|
1600年
/
Japan Society for Software Science and Technology卷
/
33期
关键词：
721.1 Computer Theory;
Includes Formal Logic;
Automata Theory;
Switching Theory;
Programming Theory - 821 Agricultural Equipment and Methods;
Vegetation and Pest Control - 921 Mathematics - 931.1 Mechanics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
9
引用
收藏
相关论文