Bogart T, Goodrick J, Woods K. (2019)
Parametric Presburger arithmetic: complexity of counting and quantifier elimination
Mathematical Logic Quarterly (ISSN 09425616)
PROFESOR ASOCIADO
Departamento de Matemáticas
Para consultar mi sitio web: Aquí