2 research outputs found
Back-and-forth systems for generic curves and a decision algorithm for the limit theory
SIGLEAvailable from INIST (FR), Document Supply Service, under shelf-number : RP 15467 / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc