自分のプロフィールを作成
オープン アクセス
すべて表示26 件の論文
6 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa確認したメール アドレス: tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugal確認したメール アドレス: tecnico.ulisboa.pt
- Luca ViganòProfessor of Computer Science, Head of Cybersecurity Group, Dep. of Informatics, King's College確認したメール アドレス: kcl.ac.uk
- David BasinProfessor of Computer Science, ETH Zurich確認したメール アドレス: inf.ethz.ch
- Joao MarcosFederal University of Santa Catarina (UFSC), Brazil確認したメール アドレス: dimap.ufrn.br
- Walter CarnielliProfessor of Logic and Foundations of Mathematics, Centre for Logic, Epistemology and the History of確認したメール アドレス: cle.unicamp.br
- Ricardo GonçalvesDepartment of Computer Science - NOVA School of Science and Technology確認したメール アドレス: fct.unl.pt
- Marcelo Esteban ConiglioProfessor of Logic, University of Campinas確認したメール アドレス: unicamp.br
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal確認したメール アドレス: math.ist.utl.pt
- Marco VolpeUniversity of Leicester確認したメール アドレス: leicester.ac.uk
- Hans-Dieter EhrichProfesoor emeritus of information systems確認したメール アドレス: tu-bs.de
- Till MossakowskiProfessor of Computer Science, University of Magdeburg確認したメール アドレス: ovgu.de
- João RasgaAssociate Professor of Logic and Computation, D. Mathematics, Instituto Superior Técnico, U Lisboa確認したメール アドレス: tecnico.ulisboa.pt
- Gunter SaakeProfessor of Computer Science, Magdeburg University確認したメール アドレス: ovgu.de