Author:
Albert Luc,Fages François
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. L. Albert “Présentation et évaluation de la complexité de l'algorithme RETE de multi-pattern matching dans les systèmes de règles de production”, rapport de DEA Universite de PARIS XI, ENS, rapport de recherche 87-8 LCR Thomson-CSF, 1987.
2. NG de Bruijn Asymptotic Methods in Analysis Dover 1958.
3. C.Choppy,S.Kaplan,M.Soria “Algorithmic complexity of term rewriting systems”, proceedings of the first Conference on Rewriting Techniques and Applications, Dijon, France. 1986.
4. D.W. Clark “Measurements of Dynamic List Structures Use in Lisp”. IEEE Transactions on Software Engineering SE-5(1), pp.51–59. (Jan. 1979).
5. J. Dieudonné Calcul infinitésimal Hermann 1968.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献