在“Elsevier电子期刊”中，命中：7条，耗时：小于0.01 秒

在所有数据库中总计命中：134条

5.On the Undecidability of Second-Order Unification
刊名：Information and Computation
出版年：2000
6.Rewriting Logic as a Logic of Special Relations
刊名：Electronic Notes in Theoretical Computer Science
出版年：1998
7.Bi-rewrite Systems
刊名：Journal of Symbolic Computation
出版年：1996
1
按检索点细分(7)
作者(6)
文摘(1)
按出版年细分(7)
2016年(2)
2010年(1)
2007年(1)
2000年(1)
2000年及以前(2)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.