Login / Signup

Back-and-forth systems for generic curves and a decision algorithm for the limit theory.

Pascal KoiranNatacha Portier
Published in: Ann. Pure Appl. Log. (2001)
Keyphrases