Publication:2998116

zbMATH Open1222.68115MaRDI QIDQ2998116FDOQ2998116

Olivier Finkel

Publication date: 18 May 2011

Title of this publication is not available (Why is that?)

zbMATH Keywords

decidabilityfirst order theoryone-dimensional cellular automaton

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80) Decidability of theories and sets of sentences (03B25)

Cited In (5)

• Title not available (Why is that?)
• On time computability of functions in one-way cellular automata
• One-way cellular automata on Cayley graphs
• Title not available (Why is that?)
• Automatic Structures of Bounded Degree Revisited

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2998116)