Leftist Grammars Are Non-primitive Recursive (Q3520303): 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-70583-3_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1523026950
@@ Property / OpenAlex ID: W1523026950 / rank @@
+Normal rank
@@ Property / cites work @@
+Protection in operating systems
@@ Property / cites work: Protection in operating systems / rank @@
+Normal rank
@@ Property / cites work @@
+On complexity of grammars related to the safety problem
+Normal rank
@@ Property / cites work @@
+Leftist Grammars Are Non-primitive Recursive
@@ Property / cites work: Leftist Grammars Are Non-primitive Recursive / rank @@
+Normal rank
@@ Property / cites work @@
+Leftist grammars and the Chomsky hierarchy
@@ Property / cites work: Leftist grammars and the Chomsky hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying lossy channel systems has nonprimitive recursive complexity.
+Normal rank