Pumping for ordinal-automatic structures.

Autor: Huschenbett, Martin1 martin.huschenbett@ifi.lmu.de, Kartzow, Alexander2 kartzow@eti.uni-siegen.de, Schlicht, Philipp3 schlicht@math.uni-bonn.de
Zdroj: Computability. 2017, Vol. 6 Issue 2, p125-164. 40p.
Databáze: Academic Search Ultimate