Matching of Bigraphs (Q2867883): Difference between revisions

@@ Property / author @@
-Lars Birkedal
@@ Property / author: Lars Birkedal / rank @@
-Normal rank
@@ Property / author @@
-Arthur J. Milner
@@ Property / author: Arthur J. Milner / rank @@
-Normal rank
@@ Property / author @@
+Lars Birkedal
@@ Property / author: Lars Birkedal / rank @@
+Normal rank
@@ Property / author @@
+Arthur J. Milner
@@ Property / author: Arthur J. Milner / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2007.04.013
+Normal rank
@@ Property / OpenAlex ID @@
+W1976396930
@@ Property / OpenAlex ID: W1976396930 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Sortings for Reactive Systems
@@ Property / cites work: Sortings for Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3431406
@@ Property / cites work: Q3431406 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+Directed Graph Pattern Matching and Topological Embedding
+Normal rank
@@ Property / cites work @@
+Constraint satisfaction algorithms for graph  pattern matching
+Normal rank
@@ Property / cites work @@
+Transition systems, link graphs and Petri nets
@@ Property / cites work: Transition systems, link graphs and Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms for bigraphical structure
@@ Property / cites work: Axioms for bigraphical structure / rank @@
+Normal rank
@@ Property / cites work @@
+Pure bigraphs: structure and dynamics
@@ Property / cites work: Pure bigraphs: structure and dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+The tree-to-tree editing problem
@@ Property / cites work: The tree-to-tree editing problem / rank @@
+Normal rank
@@ Property / cites work @@
+Faster Subtree Isomorphism
@@ Property / cites work: Faster Subtree Isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for Subgraph Isomorphism
@@ Property / cites work: An Algorithm for Subgraph Isomorphism / rank @@
+Normal rank
@@ Property / cites work @@
+Q4779780
@@ Property / cites work: Q4779780 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126240176
@@ Property / Wikidata QID: Q126240176 / rank @@
+Normal rank