The \$-calculus process algebra for problem solving: A paradigmatic shift in handling hard computational problems (Q2383594): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2007.04.012
@@ Property / DOI: 10.1016/j.tcs.2007.04.012 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2007.04.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2120607043
@@ Property / OpenAlex ID: W2120607043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687948
@@ Property / cites work: Q5687948 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2746874
@@ Property / cites work: Q2746874 / rank @@
+Normal rank
@@ Property / cites work @@
+Super-Recursive Algorithms
@@ Property / cites work: Super-Recursive Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5636767
@@ Property / cites work: Q5636767 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040465
@@ Property / cites work: Q4040465 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513849
@@ Property / cites work: Q4513849 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395985
@@ Property / cites work: Q3395985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472885
@@ Property / cites work: Q5472885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4805392
@@ Property / cites work: Q4805392 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4854587
@@ Property / cites work: Q4854587 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4504007
@@ Property / cites work: Q4504007 / rank @@
+Normal rank
@@ Property / cites work @@
+Turing Machines, Transition Systems, and Interaction
+Normal rank
@@ Property / cites work @@
+Q3328583
@@ Property / cites work: Q3328583 / rank @@
+Normal rank
@@ Property / cites work @@
+A study of drift analysis for estimating computation time of evolutionary algorithms
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845469
@@ Property / cites work: Q4845469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845470
@@ Property / cites work: Q4845470 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2755110
@@ Property / cites work: Q2755110 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344149
@@ Property / cites work: Q4344149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4143554
@@ Property / cites work: Q4143554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4935970
@@ Property / cites work: Q4935970 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of mobile processes. II
@@ Property / cites work: A calculus of mobile processes. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385545
@@ Property / cites work: Q4385545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4513619
@@ Property / cites work: Q4513619 / rank @@
+Normal rank
@@ Property / cites work @@
+A variant of a recursively unsolvable problem
@@ Property / cites work: A variant of a recursively unsolvable problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231133
@@ Property / cites work: Q4231133 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / cites work @@
+Systems of Logic Based on Ordinals<sup>†</sup>
@@ Property / cites work: Systems of Logic Based on Ordinals<sup>†</sup> / rank @@
+Normal rank
@@ Property / cites work @@
+Q5624687
@@ Property / cites work: Q5624687 / rank @@
+Normal rank
@@ Property / cites work @@
+Interactive foundations of computing
@@ Property / cites work: Interactive foundations of computing / rank @@
+Normal rank
@@ Property / cites work @@
+New Models of Computation
@@ Property / cites work: New Models of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411128
@@ Property / cites work: Q4411128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762165
@@ Property / cites work: Q2762165 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5844986
@@ Property / cites work: Q5844986 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2007.04.012
@@ Property / DOI: 10.1016/J.TCS.2007.04.012 / rank @@
+Normal rank