Publisher
Open Publishing Association
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Hierarchical Higher-Order Port-Graphs: A Rewriting-Based Modelling Language;Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming;2024-09-09
2. The Role of Structural Reasoning in the Genesis of Graph Theory;History and Philosophy of Logic;2019-07-03
3. Attributed Hierarchical Port Graphs and Applications;Electronic Proceedings in Theoretical Computer Science;2018-02-16
4. Sequent Calculus for Euler Diagrams;Diagrammatic Representation and Inference;2018
5. Visual Theorem Proving with the Incredible Proof Machine;Interactive Theorem Proving;2016