自分のプロフィールを作成
オープン アクセス
すべて表示11 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Klaus KeimelProfessor of Mathematics, Technische Universitaet Darmstadt確認したメール アドレス: mathematik.tu-darmstadt.de
- Dana ScottVisiting Scholar, UC Berkeley確認したメール アドレス: cs.cmu.edu
- James WorrellProfessor of Computer Science, Oxford University確認したメール アドレス: cs.ox.ac.uk
- Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Bill Roscoe (A.W. Roscoe)Emeritus Professor of Computer Science, Oxford University確認したメール アドレス: cs.ox.ac.uk
- dusko pavlovicProfessor at University of Hawaii確認したメール アドレス: hawaii.edu
- Lawrence S. MossProfessor: Math, IU;. Adjunct Prof: Computer Science, Linguistics, Philosophy確認したメール アドレス: indiana.edu
- Paul GastinProfessor, LMF, ENS Paris-Saclay確認したメール アドレス: lmf.cnrs.fr
- Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of Surrey確認したメール アドレス: surrey.ac.uk
- Samson AbramskyProfessor of Computer Science, UCL確認したメール アドレス: ucl.ac.uk
- Vladimir PestovuOttawa 🇨🇦 (professeur émérite)確認したメール アドレス: uottawa.ca
- Michael HuthProfessor of Computer Science, Computing, Imperial College London確認したメール アドレス: imperial.ac.uk
- Roberto SegalaUniversità di Verona確認したメール アドレス: univr.it
- Catherine MeadowsHead, Formal Methods Section, Naval Research Laboratory確認したメール アドレス: nrl.navy.mil
- Aaron D. JaggardU.S. Naval Research Laboratory確認したメール アドレス: dimacs.rutgers.edu
- Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate Center確認したメール アドレス: gc.cuny.edu