共 50 条
- [1] A new graphical calculus of proofs [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (48): : 69 - 84
- [2] A Graphical Calculus for Lagrangian Relations [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (372): : 338 - 351
- [7] Graphical calculus of Hopf crossed modules [J]. HACETTEPE JOURNAL OF MATHEMATICS AND STATISTICS, 2020, 49 (02): : 695 - 707
- [8] A graphical μ-calculus and local model checking [J]. Journal of Computer Science and Technology, 2002, 17 : 665 - 671
- [10] Graphical encoding of a spatial logic for the π-calculus [J]. ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE, PROCEEDINGS, 2007, 4624 : 209 - 225