Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. H. Aït-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theor. Comp. Sc., 45:293–351, 1986.
2. M. Chein and M.-L. Mugnier. Conceptual graphs: fundamental notions. Revue d'Intelligence Artificielle, to appear.
3. H. Ehrig. Tutorial Introduction to the Algebraic Approach to Graph Grammars, volume 291 of Lecture Notes in Computer Science. Springer-Verlag, 1987.
4. H. Herrlich and G.E. Strecker. Category Theory, Allyn and Bacon Inc., Boston, 1973.
5. K. Knight. Unification: a multidisciplinary survey. ACM Computing Surveys, 21(1), 1989.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献