A polynomial algorithm for deciding bisimilarity of normed context-free processes (Q1351456): Difference between revisions

@@ Property / author @@
-Joram Hirschfeld
@@ Property / author: Joram Hirschfeld / rank @@
-Normal rank
@@ Property / author @@
-Mark R. Jerrum
@@ Property / author: Mark R. Jerrum / rank @@
-Normal rank
@@ Property / author @@
+Joram Hirschfeld
@@ Property / author: Joram Hirschfeld / rank @@
+Normal rank
@@ Property / author @@
+Mark R. Jerrum
@@ Property / author: Mark R. Jerrum / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of bisimulation equivalence for process generating context-free languages
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Graphes canoniques de graphes algébriques
@@ Property / cites work: Graphes canoniques de graphes algébriques / rank @@
+Normal rank
@@ Property / cites work @@
+A fast algorithm to decide on the equivalence of stateless DPDA
+Normal rank
@@ Property / cites work @@
+Description of developmental languages using recurrence systems
+Normal rank
@@ Property / cites work @@
+A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity of normed context-free processes is in \(\Sigma_ 2^ p\)
+Normal rank
@@ Property / cites work @@
+Q4942620
@@ Property / cites work: Q4942620 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Pattern Matching in Strings
@@ Property / cites work: Fast Pattern Matching in Strings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4072875
@@ Property / cites work: Q4072875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Unique decomposition of processes
@@ Property / cites work: Unique decomposition of processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank