Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. DERSHOWITZ N.: “Orderings for term-rewriting systems” Proc 20th FOCS, pp 123–131 (1979) and TCS 17-3 (1982)
2. DERSHOWITZ N.: “Computing with term rewriting systems” to be published
3. FAY M.: “First order unification in an equational theory” Proc. 4th CADE, Austin Texas (19/9)
4. GOGUEN J.A.: “How to prove algebraic inductive hypotheses without induction, with application to the correctness of data type implementation” Proc. 5th CADE, les Arcs (1980)
5. HSIANG J. DERSHOWITZ N.: “Using rewrites methods for clausal and non clausal theorem proving” Proc. 10th ICALP (1983)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献