登录
概览 机构 层级浏览 列表检索 学者 成果 学科 分析 ESI学科分析 ESI机构排名 全景分析 团队 成果管理 成果提交 成果认领 成果统计 动态概况 版权说明 用户手册 关于我们 院士墙 人文库
高级检索
-
结果中检索 检索

检索结果分析

署名顺序

ESI高水平论文

结果分析中...

成果/Result

已选条件：
  • 收录类型=SCI-EXPANDED x
  • 人物=宋国新 x

共 1 条 记 录，以下是 1-1

视图：
排序方式：
全选清除导出
共1页<< <1> >>每页显示条目数：
Term rewriting systems with sort priorities被引量：0收藏 分享
作者：Shao, ZQ Song, GX
机构：
来源：INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS  1995
关键词：rewriting system   sort priority   termination   recursive program   semantics  
全选清除导出
共1页<< <1> >>
已选条目 检索报告 聚类工具

版权所有©华东理工大学 重庆维普资讯有限公司 渝B2-20050021-7　
渝公网安备 50019002500408号　违法和不良信息举报中心