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 Fernandez 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 Thu Jan 18 18:42:25 2018 CET.