自分のプロフィールを作成
オープン アクセス
すべて表示1 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Paulo MateusProfessor of Logic and Computation, Instituto Superior Técnico, Lisboa, Portugal確認したメール アドレス: math.ist.utl.pt
- Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa確認したメール アドレス: di.fc.ul.pt
- Rohit ChadhaUniversity of Missouri確認したメール アドレス: missouri.edu
- Hugo Torres VieiraEvidence Srl確認したメール アドレス: evidence.eu.com
- Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de Lisboa確認したメール アドレス: tecnico.ulisboa.pt
- Rajagopal NagarajanProfessor of Foundations of Computing, Middlesex University確認したメール アドレス: mdx.ac.uk
- Dimitris Mostrous確認したメール アドレス: di.fc.ul.pt
- Amílcar Sernadas, IST Distinguished P...Professor of Logic and Computation, Instituto Superior Técnico and CMAF-CIO, Universidade de Lisboa確認したメール アドレス: tecnico.ulisboa.pt
- Carlos CaleiroAssociate Professor for Logic and Computation at IST, Univ. Lisboa確認したメール アドレス: math.ist.utl.pt
- Sérgio MarcelinoResearcher at SQIG - Instituto de Telecomunicações, Dep. Matemática - Instituto Superior Técnico確認したメール アドレス: math.tecnico.ulisboa.pt
- Cristina SernadasProfessor of Logic and Computation, Instituto Superior Técnico, Portugal確認したメール アドレス: tecnico.ulisboa.pt
フォロー
Pedro Baltazar
Instituto de Telecomunicações, Technical University of Lisbon
確認したメール アドレス: ist.utl.pt - ホームページ