scientific article
From MaRDI portal
Publication:3142027
zbMath0788.03070MaRDI QIDQ3142027
Publication date: 5 June 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
first-order definabilityrandom relationarithmetic relationssimulation of cellular automata computation
Probability and inductive logic (03B48) Cellular automata (computational aspects) (68Q80) First-order arithmetic and fragments (03F30) Probability theory on algebraic and topological structures (60B99) Connections of number theory and logic (11U99)
Related Items (1)
This page was built for publication: