Use filters to refine the search results.
Fecha de publicación | Data de defesa | Título | Autor(es) | Orientador(es) | Coorientador(es): |
---|---|---|---|---|---|
8-mar-2013 | - | Unification modulo Presburger Arithmetic and other decidable theories | Ayala-Rincón, Mauricio; Araújo, Ivan Eid Tavares de | - | - |