OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Instituto Tecnológico Autónomo de México - ITAM (MEXICO)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 1.

Balbiani, Philippe and Fernández-Duque, David Axiomatizing the lexicographic products of modal logics with linear temporal logic. (2016) In: 11th conference on Advances in Modal logic (AiML 2016), 30 August 2016 - 2 September 2016 (Budapest, Hungary).

This list was generated on Mon Oct 22 22:29:49 2018 CEST.