Undecidable Extensions of Skolem Arithmetic
Bès, Alexis ; Richard, Denis
HAL, hal-01215414 / Harvested from HAL
Text on HAL
no abstract
Publié le : 1998-07-04
Classification:  [INFO]Computer Science [cs],  [MATH.MATH-LO]Mathematics [math]/Logic [math.LO] 
@article{hal-01215414,
     author = {B\`es, Alexis and Richard, Denis},
     title = {Undecidable Extensions of Skolem Arithmetic},
     journal = {HAL},
     volume = {1998},
     number = {0},
     year = {1998},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-01215414}
}

Bès, Alexis; Richard, Denis. Undecidable Extensions of Skolem Arithmetic. HAL, Tome 1998 (1998) no. 0, . http://gdmltest.u-ga.fr/item/hal-01215414/