# F. Point

- Citations Per Year

- Citations Per Year

- Full text PDF available (1)

1997

2006

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

Learn More

- F. Point, Véronique Bruyère
- Theory of Computing Systems
- 1997

We prove that under reasonable conditions, the Cobham-Semenov theorem remains true for two numeration systems, one of which is nonstandard.

- F. Point
- 2006

We are interested here in the first-order theory of /?-modules: in when it is decidable and in when it differs from the theory of finitely generated /^-modules. It is an open problem to characterise those rings over which the common theory TR of /^-modules is decidable, although an answer has been given for some classes of algebras (see [8,11,12]). Here we… (More)

- ‹
- 1
- ›