Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic (Q3035687): Difference between revisions

@@ label / en / label / en @@
+Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic
@@ 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.2307/2045489
@@ Property / full work available at URL: https://doi.org/10.2307/2045489 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4240215465
@@ Property / OpenAlex ID: W4240215465 / rank @@
+Normal rank
@@ Property / title @@
+Reducibilities Among Decision Problems for HNN Groups, Vector Addition Systems and Subsystems of Peano Arithmetic (English)
+Normal rank
@@ Property / cites work @@
+Vector Groups and the Equality Problem for Vector Addition Systems
+Normal rank
@@ Property / cites work @@
+The equality problem for vector addition systems is undecidable
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138726
@@ Property / cites work: Q4138726 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4145882
@@ Property / cites work: Q4145882 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets and large finite sets
@@ Property / cites work: Petri nets and large finite sets / rank @@
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Proof theory. 2nd ed
@@ Property / cites work: Proof theory. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+Q5668779
@@ Property / cites work: Q5668779 / rank @@
+Normal rank