Proving nonreachability by modulo-invariants (Q672866): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(95)00117-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2025727968
@@ Property / OpenAlex ID: W2025727968 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3967058
@@ Property / cites work: Q3967058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152749
@@ Property / cites work: Q4152749 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214832
@@ Property / cites work: Q3214832 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in cyclic extended free-choice systems
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3766867
@@ Property / cites work: Q3766867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4001266
@@ Property / cites work: Q4001266 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix
+Normal rank
@@ Property / cites work @@
+The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes
+Normal rank
@@ Property / cites work @@
+System modelling with high-level Petri nets
@@ Property / cites work: System modelling with high-level Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Q3749122
@@ Property / cites work: Q3749122 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692759
@@ Property / cites work: Q4692759 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3670575
@@ Property / cites work: Q3670575 / rank @@
+Normal rank