PHYSARUM SPATIAL LOGIC (Q5388703): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Nonconstructible blocks in 1D cellular automata: minimal generators and natural systems
+Normal rank
@@ Property / cites work @@
+Reaction-diffusion automata. Phenomenology, localisations, computation
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. I
@@ Property / cites work: A spatial logic for concurrency. I / rank @@
+Normal rank
@@ Property / cites work @@
+A spatial logic for concurrency. II
@@ Property / cites work: A spatial logic for concurrency. II / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding validity in a spatial logic for trees
@@ Property / cites work: Deciding validity in a spatial logic for trees / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+\(p\)-adic physics, non-well-founded reality and unconventional computing
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Toward semantical model of reaction‐diffusion computing
+Normal rank
@@ Property / cites work @@
+Kolmogorov and mathematical logic
@@ Property / cites work: Kolmogorov and mathematical logic / rank @@
+Normal rank