Flatterms, discrimination nets, and fast term rewriting-Reference-Cited by-同舟云学术

Flatterms, discrimination nets, and fast term rewriting

Published:1993 Issue:1 Volume:10 Page:95-113
ISSN:0168-7433
Container-title:Journal of Automated Reasoning
language:en
Short-container-title:J Autom Reasoning

Author:

Christian Jim

Publisher

Springer Science and Business Media LLC

Subject

Artificial Intelligence,Computational Theory and Mathematics,Software

Link

http://link.springer.com/content/pdf/10.1007/BF00881866.pdf

Reference20 articles.

1. Boyer, Bob, ?Rewrite rule compilation?, Technical Report AI-194-86-P, Micro-electronics and Computer Technology Corporation (MCC) (June 1986).

2. Christian, Jim, ?High-performance permutative completion?, Ph.D. thesis, University of Texas at Austin (1989). Available as MCC Technical Report ACT-AI-303-89.

3. Christian, Jim, ?Fast Knuth-Bendix completion: Summary?, inProceedings of the Conference on Rewriting Techniques and Applications, Chapel Hill, North Carolina (1989).

4. Knuth, Donald, and Bendix, Peter, ?Simple word problems in universal algebra?, in J. Leech (ed.),Computational Problems in Abstract Algebra, Pergamon Press, Oxford, U.K. (1970).

5. Geser, Alfons, Hussman, Heinrich, and Mück, Andreas, ?A compiler for a class of conditional term rewriting systems?, inProceedings of the 1st Intl. Workshop on Conditional Term Rewriting Systems, pp. 84?90, Orsay, France (1987).

Cited by 51 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Adaptive Non-linear Pattern Matching Automata;Logical Methods in Computer Science;2021-12-17

2. A Low-Level Index for Distributed Logic Programming;Electronic Proceedings in Theoretical Computer Science;2020-09-19

3. The generalized matrix chain algorithm;Proceedings of the 2018 International Symposium on Code Generation and Optimization;2018-02-24

4. The generalized matrix chain algorithm;Proceedings of the 2018 International Symposium on Code Generation and Optimization - CGO 2018;2018

5. Efficient Pattern Matching in Python;Proceedings of the 7th Workshop on Python for High-Performance and Scientific Computing;2017-11-12