自分のプロフィールを作成
オープン アクセス
すべて表示7 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of確認したメール アドレス: cle.unicamp.br
- Marcelo Esteban ConiglioProfessor of Logic, University of Campinas確認したメール アドレス: unicamp.br
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboa確認したメール アドレス: math.ist.utl.pt
- Sandra de AmoAssociate Professor Computer Science, Universidade Federal de Uberlândia確認したメール アドレス: ufu.br
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior Técnico確認したメール アドレス: math.tecnico.ulisboa.pt
- Benjamin BedregalUniversidade Federal do Rio Grande do Norte確認したメール アドレス: dimap.ufrn.br
- Umberto RivieccioAssistant Professor, UNED (Madrid)確認したメール アドレス: fsof.uned.es
- Vitor GreatiPhD candidate, University of Groningen, Groningen, The Netherlands確認したメール アドレス: rug.nl
- Ori LahavTel Aviv University確認したメール アドレス: tau.ac.il
- Yoni ZoharBar Ilan University確認したメール アドレス: biu.ac.il
- Cláudia NalonComputer Science, University of Brasília確認したメール アドレス: unb.br
- Marco VolpeUniversity of Leicester確認したメール アドレス: leicester.ac.uk
- Heinrich WansingRuhr-Universität Bochum確認したメール アドレス: rub.de
- Thiago Nascimento da SilvaPh.D Candidate at Federal University of Rio Grande do Norte確認したメール アドレス: ufrn.edu.br
- Patrick TerrematteAssistant Professor at UFRN確認したメール アドレス: imd.ufrn.br
- Clare DixonUniversity of Manchester確認したメール アドレス: manchester.ac.uk
- Regivan H. N. SantiagoDepartamento de Informática e Matemática Aplicada-UFRN確認したメール アドレス: dimap.ufrn.br
- Manuel A. MartinsDepartamento de Matemática, Universidade de Aveiro確認したメール アドレス: ua.pt
- Diana CostaLASIGE, Informática, Faculdade de Ciências, Universidade de Lisboa確認したメール アドレス: fc.ul.pt
- JOCIVANIA PINHEIROUniversidade Federal Rural do Semi-Árido確認したメール アドレス: ufersa.edu.br