自分のプロフィールを作成
オープン アクセス
すべて表示9 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
M. Andrew MoshierProfessor Mathematics and Computer Science確認したメール アドレス: chapman.edu
Umberto RivieccioAssistant Professor, UNED (Madrid)確認したメール アドレス: fsof.uned.es
Samson AbramskyProfessor of Computer Science, UCL確認したメール アドレス: ucl.ac.uk
Klaus KeimelProfessor of Mathematics, Technische Universitaet Darmstadt確認したメール アドレス: mathematik.tu-darmstadt.de
Dan R. GhicaProfessor of Semantics of Programming Languages, University of Birmingham確認したメール アドレス: cs.bham.ac.uk
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di Genova確認したメール アドレス: unige.it
Xiaodong JiaSchool of Mathematics, Hunan University確認したメール アドレス: hnu.edu.cn
Qingguo Li(李庆国)Hunan University確認したメール アドレス: hnu.edu.cn
Peter O'HearnLacework and University College London確認したメール アドレス: ucl.ac.uk
Peter BunemanProfessor, University of Edinburgh確認したメール アドレス: inf.ed.ac.uk
Atsushi OhoriTohoku University確認したメール アドレス: riec.tohoku.ac.jp
Jerzy TiurynProfesor informatyki, Uniwersytet Warszawski確認したメール アドレス: mimuw.edu.pl
Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-Champaign確認したメール アドレス: illinois.edu
Jean Goubault-Larrecq確認したメール アドレス: lsv.fr
Michael HuthProfessor of Computer Science, Computing, Imperial College London確認したメール アドレス: imperial.ac.uk
Eugenio MoggiProfessor of Computer Science, Genova University確認したメール アドレス: unige.it
Jon RieckeGoogle Inc.確認したメール アドレス: google.com
Tomáš JaklCzech Academy of Sciences & Czech Technical University確認したメール アドレス: math.cas.cz
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh確認したメール アドレス: ed.ac.uk
Marcelo FioreProfessor in Mathematical Foundations of Computer Science確認したメール アドレス: cl.cam.ac.uk
フォロー![Achim Jung](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=hCqqihQAAAAJ&citpid=3)
Achim Jung
Professor of Computer Science, University of Birmingham, UK
確認したメール アドレス: cs.bham.ac.uk - ホームページ