You are here

Home ›

Publications

Filters: Author is Facundo Carreiro  [Clear All Filters]
2014
C. Areces, F. Carreiro, and S. Figueira, “Characterization, Definability and Separation via Saturated Models”, Theoretical Computer Science, vol. 537, p. 72-86, 2014.
2012
F. Carreiro and S. Demri, “Beyond Regularity for Presburger Modal Logics”, in 9th Workshop on Advances in Modal Logics (AiML'12), Copenhagen, Denmark, 2012.PDF iconbeyond_regularity_for_presburger_modal_logics.pdf (525.09 KB)

   

                              

Powered by Drupal