Open Graphs and Computational Reasoning
暂无分享,去创建一个
[1] Andrea Corradini,et al. Unfolding Graph Transformation Systems: Theory and Applications to Verification , 2008, Concurrency, Graphs and Models.
[2] Cosimo Laneve,et al. Formal molecular biology , 2004, Theor. Comput. Sci..
[3] Yves Lafont,et al. Towards an algebraic theory of Boolean circuits , 2003 .
[4] Robin Milner,et al. Pure bigraphs: Structure and dynamics , 2006, Inf. Comput..
[5] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.
[6] Hartmut Ehrig,et al. Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .
[7] Bob Coecke,et al. Interacting Quantum Observables , 2008, ICALP.
[8] Yves Lafont,et al. Diagram rewriting and operads , 2009 .
[9] Yves Lafont,et al. Interaction nets , 1989, POPL '90.
[10] J. Girard. PROOF-NETS : THE PARALLEL SYNTAX FOR PROOF-THEORY , 1996 .
[11] P. Selinger. A Survey of Graphical Languages for Monoidal Categories , 2009, 0908.3347.
[12] D. Knuth,et al. Simple Word Problems in Universal Algebras , 1983 .
[13] Pierre Rannou,et al. Diagram Rewriting for Orthogonal Matrices: A Study of Critical Peaks , 2008, RTA.
[14] Lucas Dixon,et al. Graphical reasoning in compact closed categories for quantum computation , 2009, Annals of Mathematics and Artificial Intelligence.