Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 12892 | 1972 |
indeks-h | 44 | 22 |
indeks-i10 | 108 | 38 |
Akses publik
Lihat semua13 artikel
0 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Mogens NielsenProfessor of Computer Science, Aarhus UniversityEmail yang diverifikasi di cs.au.dk
- Pierre ClairambaultCNRS & LIS, Aix-Marseille UniversitéEmail yang diverifikasi di cnrs.fr
- Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail yang diverifikasi di inf.ed.ac.uk
- Kim G. LarsenDirector, Professor Aalborg UniversityEmail yang diverifikasi di cs.aau.dk
- Vladimiro SassoneUniversity of SouthamptonEmail yang diverifikasi di ecs.soton.ac.uk
- Martin HylandProfessor of Mathematical Logic, CambridgeEmail yang diverifikasi di dpmms.cam.ac.uk
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignEmail yang diverifikasi di illinois.edu
- Russ HarmerCNRS, LyonEmail yang diverifikasi di ens-lyon.fr
- Vincent DanosDirecteur de Recherches CNRS Ecole Normale SupérieureEmail yang diverifikasi di ens.fr
- Nicola GambinoDepartment of Mathematics, University of ManchesterEmail yang diverifikasi di manchester.ac.uk