Decision Problems for Exponential Rings: The p-adic case.

Angus Macintyre

Browse the full FCT paper archive.