MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On the Cobham-Semenov Theorem." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

An Extension of the Cobham-Semënov Theorem
by Alexis Bes — 2000
…An Extension of the Cobham-Semenov Theorem Alexis Bes Published in J.Symb.Logic 65(1), 201…
Cited by 4 (1 self) – Add To MetaCart

Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem
by Alexis Bes — 1997
…Undecidable Extensions of Buchi Arithmetic and Cobham-Semenov Theorem Alexis Bes Published in J…
Cited by 6 (1 self) – Add To MetaCart

Definability and Regularity in Automatic Presentations of Subsystems of Arithmetic
by Sasha Rubin, Bakhadyr Khoussainov, Bakhadyr Khoussainov, Sasha Rubin, Frank Stephan, Frank Stephan — 2003
… the standard algorithm for base m addition. The Cobham-Semenov theorem (see [2]) states that for R _ c , if (Ak…
Add To MetaCart

Automata and Logic
by Radu Iosif Verimag/cnrs
… . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 8.5 The Cobham-Semenov Theorem . . . . . . . . . . . . . . . . . . . . . . . . . 88 3 Chapter 1…
Add To MetaCart

Bibliography
by Abdulrab And Ecuchet, J. Symb Comput, Identities In Groups, Vol Of Ergebnisse, J. Theor Nombres
… of the Cobham-Semenov theorem, J. Symbolic Logic. To appear. Blanchard, F. (1989). -expansions and symbolic…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB