Publications

Export 2 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is Facundo Carreiro  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
B
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 icon beyond_regularity_for_presburger_modal_logics.pdf (525.09 KB)