Accéder directement au contenu

Diego Figueira

1
Documents

Publications

pascal-weil
Image document

The Quantifier Alternation Hierarchy of Synchronous Relations

Diego Figueira , Varun Ramanathan , Pascal Weil
International Symposium on Mathematical Foundations of Computer Science (MFCS), Aug 2019, Aachen, Germany. pp.29:1-29:14, ⟨10.4230/LIPIcs.MFCS.2019.29⟩
Communication dans un congrès hal-02109188v3