Tree Pattern Rewriting Systems (Q3540083): Difference between revisions

@@ 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.1007/978-3-540-88387-6_29
+Normal rank
@@ Property / OpenAlex ID @@
+W1560764077
@@ Property / OpenAlex ID: W1560764077 / rank @@
+Normal rank
@@ Property / cites work @@
+Active XML Schemas
@@ Property / cites work: Active XML Schemas / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219024
@@ Property / cites work: Q4219024 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-structured transition systems everywhere!
@@ Property / cites work: Well-structured transition systems everywhere! / rank @@
+Normal rank
@@ Property / cites work @@
+Tree Pattern Rewriting Systems
@@ Property / cites work: Tree Pattern Rewriting Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Logics for Unranked Trees: An Overview
@@ Property / cites work: Logics for Unranked Trees: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+Transition Graphs of Rewriting Systems over Unranked Trees
+Normal rank
@@ Property / cites work @@
+Q4411812
@@ Property / cites work: Q4411812 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying lossy channel systems has nonprimitive recursive complexity.
+Normal rank