Pattern graph rewrite systems

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
Open Graphs and Computational Reasoning 2010
The compositional structure of multipartite quantum entanglement 2010
Interacting quantum observables 2008
Nested Quantification in Graph Transformation Rules 2006
Equational reasoning with 2-dimensional diagrams 1995
Citations
Title Journal Journal Categories Citations Publication Date
Finite Verification of Infinite Families of Diagram Equations Electronic Proceedings in Theoretical Computer Science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2020
Citations Analysis
Category Category Repetition
Science: Mathematics: Instruments and machines: Electronic computers. Computer science1
The category Science: Mathematics: Instruments and machines: Electronic computers. Computer science 1 is the most commonly referenced area in studies that cite this article. The first research to cite this article was titled Finite Verification of Infinite Families of Diagram Equations and was published in 2020. The most recent citation comes from a 2020 study titled Finite Verification of Infinite Families of Diagram Equations. This article reached its peak citation in 2020, with 1 citations. It has been cited in 1 different journals, 100% of which are open access. Among related journals, the Electronic Proceedings in Theoretical Computer Science cited this research the most, with 1 citations. The chart below illustrates the annual citation trends for this article.
Citations used this article by year