Article Dans Une Revue
Annals of Pure and Applied Logic
Année : 2001
Stéphan Thomassé : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04649397
Soumis le : mardi 16 juillet 2024-11:04:40
Dernière modification le : jeudi 18 juillet 2024-03:17:35
Dates et versions
Identifiants
- HAL Id : hal-04649397 , version 1
- DOI : 10.1016/S0168-0072(01)00027-6
Citer
Pascal Koiran, Natacha Portier. Back-and-forth systems for generic curves and a decision algorithm for the limit theory. Annals of Pure and Applied Logic, 2001, 111 (3), pp.257-275. ⟨10.1016/S0168-0072(01)00027-6⟩. ⟨hal-04649397⟩
Collections
11
Consultations
0
Téléchargements