自分のプロフィールを作成
オープン アクセス
すべて表示21 件の論文
3 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Ramon JansanaProfessor of Logic, University of Barcelona確認したメール アドレス: ub.edu
- Achim JungProfessor of Computer Science, University of Birmingham, UK確認したメール アドレス: cs.bham.ac.uk
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior Técnico確認したメール アドレス: math.tecnico.ulisboa.pt
- Thiago Nascimento da SilvaPh.D Candidate at Federal University of Rio Grande do Norte確認したメール アドレス: ufrn.edu.br
- Joao MarcosFederal University of Santa Catarina (UFSC), Brazil確認したメール アドレス: dimap.ufrn.br
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboa確認したメール アドレス: math.ist.utl.pt
- Benjamin BedregalUniversidade Federal do Rio Grande do Norte確認したメール アドレス: dimap.ufrn.br
- Rui PaivaInstituto Federal de Educação, Ciência e Tecnologia do Ceará確認したメール アドレス: ifce.edu.br
- Regivan H. N. SantiagoDepartamento de Informática e Matemática Aplicada-UFRN確認したメール アドレス: dimap.ufrn.br
- Alessandra PalmigianoVrije Universiteit Amsterdam確認したメール アドレス: vu.nl
- Tommaso FlaminioResearcher at IIIA - CSIC確認したメール アドレス: iiia.csic.es
- Vitor GreatiPhD candidate, University of Groningen, Groningen, The Netherlands確認したメール アドレス: rug.nl
- Adam PrenosilUniversity of Cagliari確認したメール アドレス: unica.it
- Giuseppe GrecoVrije Universiteit Amsterdam確認したメール アドレス: vu.nl
- Fei LiangSchool of Philosophy and Social Development, Shandong University, China確認したメール アドレス: sdu.edu.cn
- Hiroakira OnoJapan Advanced Institute of Science and Technology確認したメール アドレス: jaist.ac.jp
- Leonardo Manuel CabrerInstitute of Computer Languages - Technische Universität Wien確認したメール アドレス: logic.at
- Ricardo Oscar RodriguezDepartamento de Computacion Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires確認したメール アドレス: dc.uba.ar
- Zeinab BakhtiariLORIA, CNRS-Université de Lorraine確認したメール アドレス: inria.fr
- Hans van DitmarschCNRS確認したメール アドレス: irit.fr