| 标题/作者 | 引用次数 | 年份 |
|---|---|---|
C Heunen, O Kammar, S Staton, H Yang 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12 | 122 | 2017 |
M Jurdziński, R Lazić 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-9 | 97 | 2017 |
E Jeandel, S Perdrix, R Vilmart Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer … | 96 | 2018 |
A Kissinger, S Uijlen 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12 | 75 | 2017 |
R Berthon, B Maubert, A Murano, S Rubin, MY Vardi 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12 | 72 | 2017 |
B Fong, D Spivak, R Tuyéras 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13 | 70 | 2019 |
T Coquand, S Huber, A Mörtberg Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer … | 70 | 2018 |
N Ghani, J Hedges, V Winschel, P Zahn Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer … | 67 | 2018 |
A Hadzihasanovic, KF Ng, Q Wang Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer … | 66 | 2018 |
R Atkey Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer … | 63 | 2018 |
PW O'Hearn Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer … | 62 | 2018 |
J Leroux, S Schmitz 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13 | 54 | 2019 |
K Lehtinen Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer … | 54 | 2018 |
E Jeandel, S Perdrix, R Vilmart Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer … | 46 | 2018 |
S Abramsky, A Dawar, P Wang 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12 | 46 | 2017 |
B Afshari, GE Leigh 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12 | 46 | 2017 |
D Frumin, R Krebbers, L Birkedal Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer … | 45 | 2018 |
U Dal Lago, F Gavazzo, PB Levy 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12 | 44 | 2017 |
A Platzer, YK Tan Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer … | 40 | 2018 |
S Halfon, P Schnoebelen, G Zetzsche 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12 | 39 | 2017 |
1 - 20
计算机程序会自动估算并确定日期和引用次数。