Author:
Cunningham R.J.,Dick A.J.J.
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Implementations of Term Rewriting Systems;The Computer Journal;1991-01-01
2. Order-sorted Term Rewriting;The Computer Journal;1991-01-01
3. Generator induction in order sorted algebras;Formal Aspects of Computing;1991-01
4. Many-sorted inferences in automated theorem proving;Lecture Notes in Computer Science;1990
5. Rewrite Systems;Formal Models and Semantics;1990