Navegar

Colección

Datos Estadísticas

Lista de

2011
1352
8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011
1
"On characterization, definability and ω-saturated models" (2011) Carreiro, F. 8th International Colloquium on Theoretical Aspects of Computing, ICTAC 2011. 6916 LNCS:62-76