建立我自己的個人學術檔案
公開取用
查看全部28 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Carlos ArecesUniversidad Nacional de Córdoba - CONICET在 famaf.unc.edu.ar 的電子郵件地址已通過驗證
- Guillaume HoffmannCONICET在 conicet.gov.ar 的電子郵件地址已通過驗證
- Stéphane DemriCNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles (LMF)在 lmf.cnrs.fr 的電子郵件地址已通過驗證
- Valentin CassanoDepartment of Mathematics, National University of Rio Cuarto and CONICET, Argentina在 dc.exa.unrc.edu.ar 的電子郵件地址已通過驗證
- Fernando R. Velázquez-QuesadaDepartment of Information Science and Media Studies, Universitetet i Bergen在 uib.no 的電子郵件地址已通過驗證
- Pablo CastroUniversidad Nacional de Rio Cuarto, Argentina在 dc.exa.unrc.edu.ar 的電子郵件地址已通過驗證
- Alessio MansuttiIMDEA Software Institute在 imdea.org 的電子郵件地址已通過驗證
- Hans van DitmarschCNRS在 irit.fr 的電子郵件地址已通過驗證
- Mauricio MartelIRIT (Institut de Recherche en Informatique de Toulouse)在 irit.fr 的電子郵件地址已通過驗證
- François SchwarzentruberENS Rennes在 ens-rennes.fr 的電子郵件地址已通過驗證
- Yanjing Wang (王彦晶)Professor of Logic, Peking University在 pku.edu.cn 的電子郵件地址已通過驗證
- Andreas HerzigCNRS Research Director, IRIT (CNRS, Univ. Toulouse), TMBI (Univ. Toulouse)在 irit.fr 的電子郵件地址已通過驗證
- Yanjun LiNankai University在 nankai.edu.cn 的電子郵件地址已通過驗證
- Bartosz BednarczykUniwersytet Wrocławski & TU Dresden在 cs.uni.wroc.pl 的電子郵件地址已通過驗證
- Beta ZilianiFAMAF, UNC and Manas.Tech在 mpi-sws.org 的電子郵件地址已通過驗證
- Francisco TruccoUniversity of Groningen在 rug.nl 的電子郵件地址已通過驗證
- Santiago FigueiraUniversity of Buenos Aires and CONICET在 dc.uba.ar 的電子郵件地址已通過驗證
- Bastien MaubertUniversità degli Studi di Napoli Federico II在 unina.it 的電子郵件地址已通過驗證
- Benjamin IcardLIP6, CNRS, Sorbonne Université, Institut Jean-Nicod在 lip6.fr 的電子郵件地址已通過驗證