Pattern matching and membership for hierarchical message sequence charts (Q927396): 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/s00224-007-9054-1
+Normal rank
@@ Property / OpenAlex ID @@
+W4300790099
@@ Property / OpenAlex ID: W4300790099 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535063
@@ Property / cites work: Q4535063 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniqueness Theorems for Periodic Functions
@@ Property / cites work: Uniqueness Theorems for Periodic Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3044337
@@ Property / cites work: Q3044337 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q4737197
@@ Property / cites work: Q4737197 / rank @@
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q4484487
@@ Property / cites work: Q4484487 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient solution of some problems in free partially commutative monoids
+Normal rank
@@ Property / cites work @@
+Q4535064
@@ Property / cites work: Q4535064 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536625
@@ Property / cites work: Q4536625 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941891
@@ Property / cites work: Q4941891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4496242
@@ Property / cites work: Q4496242 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:927396