Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Bauderon, M., Courcelle, B.: Graph expressions and graph rewritings. Mathematical Systems Theory 20(2-3), 83–127 (1987)
2. Chein, M., Mugnier, M.-L., Simonet, G.: Nested graphs: A graph-based knowledge representation model with FOL semantics. In: Cohn, Schubert, Shapiro (eds.) Principles of Knowledge Representation and Reasoning, pp. 524–535. Morgan Kaufmann, San Francisco (1998)
3. Corradini, A., Montanari, U., Rossi, F., Ehrig, H., Heckel, R., Löwe, M.: Algebraic approaches to graph transformation, part I: Basic concepts and double pushout approach. In: Rozenberg [16], ch. 3, pp. 163–246
4. Courcelle, B.: The monadic second-order logic of graphs XI: Hierarchical decompositions of connected graphs. Theoretical Comput. Sci. 224(1-2), 35–58 (1999)
5. Dau, F.: The Logic System of Concept Graphs with Negation. LNCS, vol. 2892. Springer, Heidelberg (2003)
Cited by
65 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献