More on Definable Sets of p-Adic Numbers.

Philip Scowcroft

Published in: J. Symb. Log. (1988)

Keyphrases

real numbers
real time
special case
first order logic
situation calculus
information systems
expert systems