Varun RAMANATHAN
Varun Ramanathan Doctorant (Université Bordeaux)

Équipe LaBRI : Méthodes formelles
Courrier électronique : varun.ramanathanarobaselabri.fr
Bureau : 256
Tél : +33 (0)5 40 00 31 09


Extrait de publications


Thomas Place, Varun Ramanathan, Pascal Weil. Covering and separation for logical fragments with modular predicates. Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019. ⟨hal-02133930⟩

Diego Figueira, Varun Ramanathan, Pascal Weil. The Quantifier Alternation Hierarchy of Synchronous Relations. International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2019, Aachen, Germany. ⟨hal-02109188v2⟩


Page mise à jour le 13/08/2010 à 10:56