Publications

Filters: Keyword is context-free constraint [Clear All Filters]

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.

beyond_regularity_for_presburger_modal_logics.pdf (525.09 KB)