自分のプロフィールを作成
オープン アクセス
すべて表示7 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Donald SannellaProfessor of Computer Science, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
- Till MossakowskiProfessor of Computer Science, University of Magdeburg確認したメール アドレス: ovgu.de
- Michel BidoitLSV, CNRS & ENS Cachan, France確認したメール アドレス: lsv.ens-cachan.fr
- Martin WirsingProfessor of Computer Science, LMU Munich確認したメール アドレス: lmu.de
- Peter D MossesSwansea University and Delft University of Technology確認したメール アドレス: tudelft.nl
- Anne E. HaxthausenAssociate Professor of Computer Science, Technical University of Denmark確認したメール アドレス: dtu.dk
- Hubert BaumeisterTechnical University of Denmark確認したメール アドレス: dtu.dk
- Andrzej BlikleProfessor of Mathematics and informatics, Polish Academy of Acience確認したメール アドレス: moznainaczej.com.pl
- Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-Nürnberg確認したメール アドレス: cs.fau.de
- Robert HarperProfessor of Computer Science, Carnegie Mellon University確認したメール アドレス: andrew.cmu.edu
- Răzvan DiaconescuSimion Stoilow Institute of Mathematics of the Romanian Academy確認したメール アドレス: imar.ro
- Wiesław PawłowskiDept. of Mathematics, Physics, and Informatics, University of Gdańsk確認したメール アドレス: ug.edu.pl
- Bartek KlinUniversity of Oxford確認したメール アドレス: cs.ox.ac.uk
- Roberto BruniUniversity of Pisa確認したメール アドレス: di.unipi.it
- Beata KonikowskaInstitute of Computer Science, Polish Academy of Sciences確認したメール アドレス: ipipan.waw.pl
- Franco MazzantiSenior Reasearcher, ISTI CNR, Pisa, Italy確認したメール アドレス: isti.cnr.it
- Mieke MassinkCNR-ISTI確認したメール アドレス: isti.cnr.it
- Diego LatellaSenior Researcher - CNR-ISTI (Pisa)確認したメール アドレス: cnr.it
- Stefania GnesiISTI-CNR, Italy確認したメール アドレス: isti.cnr.it
- Moshe Y. VardiRice University確認したメール アドレス: cs.rice.edu
フォロー
Andrzej Tarlecki
Faculty of Mathematics, Informatics and Mechanics, University of Warsaw
確認したメール アドレス: mimuw.edu.pl - ホームページ