Wave propagation in filamental cellular automata
Weak Mso with the Unbounding Quantifier
Weighted Automata and Recurrence Equations for Regular Languages
Canada
World
United States