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 |
Externí odkaz: |