On the structural simplicity of machines and languages (Q1924785): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint logics, relational machines, and computational complexity
+Normal rank
@@ Property / cites work @@
+On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Program Schemes with Pushdown Stores
@@ Property / cites work: Program Schemes with Pushdown Stores / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation
@@ Property / cites work: Alternation / rank @@
+Normal rank
@@ Property / cites work @@
+On Classes of Program Schemata
@@ Property / cites work: On Classes of Program Schemata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038658
@@ Property / cites work: Q4038658 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3212265
@@ Property / cites work: Q3212265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3975134
@@ Property / cites work: Q3975134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4027616
@@ Property / cites work: Q4027616 / rank @@
+Normal rank
@@ Property / cites work @@
+The next 700 programming languages
@@ Property / cites work: The next 700 programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4185781
@@ Property / cites work: Q4185781 / rank @@
+Normal rank
@@ Property / cites work @@
+Alternation and the computational complexity of logic programs
+Normal rank