Graph unification and matching (Q4645268): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61228-9_80
+Normal rank
@@ Property / OpenAlex ID @@
+W1577997551
@@ Property / OpenAlex ID: W1577997551 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph expressions and graph rewritings
@@ Property / cites work: Graph expressions and graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solution of linear diophantine equations
+Normal rank
@@ Property / cites work @@
+An efficient incremental algorithm for solving systems of linear diophantine equations
+Normal rank
@@ Property / cites work @@
+Q3673105
@@ Property / cites work: Q3673105 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4194478
@@ Property / cites work: Q4194478 / rank @@
+Normal rank
@@ Property / cites work @@
+The undecidability of the second-order unification problem
+Normal rank
@@ Property / cites work @@
+Hyperedge replacement: grammars and languages
@@ Property / cites work: Hyperedge replacement: grammars and languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222797
@@ Property / cites work: Q4222797 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal and complete word unification
@@ Property / cites work: Minimal and complete word unification / rank @@
+Normal rank
@@ Property / cites work @@
+Unification: a multidisciplinary survey
@@ Property / cites work: Unification: a multidisciplinary survey / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Q3785985
@@ Property / cites work: Q3785985 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear unification
@@ Property / cites work: Linear unification / rank @@
+Normal rank
@@ Property / cites work @@
+Word unification and transformation of generalized equations
+Normal rank