Author:
Dougherty Dan,Wierzbicki ToMasz
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lect Notes Comput Sci;H. Comon,1997
2. Nachum Dershowitz, Zohar Manna, Proving termination with multiset orderings, Comm. Assoc. for Computing Machinery, 6(22), 465–476, 1979.
3. Giles Dowek, Third order matching is decidable, Proc. 7th IEEE Symp. Logic in Computer Science, LICS’92, IEEE Press, 1992, 2–10, also in Annals of Pure and Applied Logic, 69, 1994, 135–155.
4. Lect Notes Comput Sci;P. Groote de,2000
5. Lect Notes Comput Sci;J. Levy,1996
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献