Philosophy of Computation (Q3295749): 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-319-65826-1_10
+Normal rank
@@ Property / OpenAlex ID @@
+W2884471239
@@ Property / OpenAlex ID: W2884471239 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3233534
@@ Property / cites work: Q3233534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3820592
@@ Property / cites work: Q3820592 / rank @@
+Normal rank
@@ Property / cites work @@
+Does a rock implement every finite-state automaton?
+Normal rank
@@ Property / cites work @@
+What is computation?
@@ Property / cites work: What is computation? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3400081
@@ Property / cites work: Q3400081 / rank @@
+Normal rank
@@ Property / cites work @@
+SgpDec: Cascade (De)Compositions of Finite Transformation Semigroups and Permutation Groups
+Normal rank
@@ Property / cites work @@
+Cybernetics and service‐craft: language for behavior‐focused design
+Normal rank
@@ Property / cites work @@
+When does a physical system compute?
@@ Property / cites work: When does a physical system compute? / rank @@
+Normal rank
@@ Property / cites work @@
+Physical Perspectives on Computation, Computational Perspectives on Physics
+Normal rank
@@ Property / cites work @@
+Heterotic Computing
@@ Property / cites work: Heterotic Computing / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
+Normal rank
@@ Property / cites work @@
+What does it mean to say that a physical system implements a computation?
+Normal rank
@@ Property / cites work @@
+Time for verification. Essays in memory of Amir Pnueli
+Normal rank
@@ Property / cites work @@
+Stochastic Algorithms: Foundations and Applications
+Normal rank
@@ Property / cites work @@
+Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions
+Normal rank
@@ Property / cites work @@
+Q3395936
@@ Property / cites work: Q3395936 / rank @@
+Normal rank
@@ Property / cites work @@
+A Mathematical Theory of Communication
@@ Property / cites work: A Mathematical Theory of Communication / rank @@
+Normal rank
@@ Property / cites work @@
+On Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+Q3277794
@@ Property / cites work: Q3277794 / rank @@
+Normal rank