Author:
Billaud Michel,Lafon Pierre,Metivier Yves,Sopena Eric
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Aho, A.O., Hopcroft, J.E., and Ullman, J.D., The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, Mass., 1974.
2. Baeten, J.C.M., Bergstra, J.A., Klop, J.W., Term Rewriting Systems with Priorities, Rewriting Techniques and Applications, Lecture Notes in Comp. Science 256, pp 83–94, 1987.
3. Berge, C., Graphes et Hypergraphes, Dunod, Paris, 1970.
4. Billaud, M., Lafon, P., Metivier, Y., Sopena, E., Graph Rewriting Systems with Priorities: Definitions and Applications, Technical Report no 8909, LABRI, Université Bordeaux I, 1989.
5. Dijkstra, E.W., and Scholten, C.S, Termination Detection for Diffusing Computations, Information Processing Letters. 11, pp 1–4, 1980.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献