标题/作者 | 引用次数 | 年份 |
---|---|---|
A Kissinger, S Uijlen LOGICAL METHODS IN COMPUTER SCIENCE 15 (3) | 75 | 2019 |
E RIJKE, M SHULMAN, BAS SPITTERS Logical Methods in Computer Science (LMCS) 16 (1) | 73 | 2020 |
G ROŞU Logical Methods in Computer Science (LMCS) 13 (4) | 65 | 2017 |
K Keimel, GD Plotkin LOGICAL METHODS IN COMPUTER SCIENCE 13 (1) | 53 | 2017 |
V Brattka, A Pauly LOGICAL METHODS IN COMPUTER SCIENCE 14 (4) | 47 | 2018 |
A BENTKAMP, J BLANCHETTE, S CRUANES, UWE WALDMANN Logical Methods in Computer Science (LMCS) 17 (2) | 43 | 2021 |
W CONRADIE, A PALMIGIANO Logical Methods in Computer Science (LMCS) 16 (3) | 40 | 2020 |
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro LOGICAL METHODS IN COMPUTER SCIENCE 13 (2) | 40 | 2017 |
F Mogavero, A Murano, G Perelli, MY Vardi LOGICAL METHODS IN COMPUTER SCIENCE 13 (1) | 38 | 2017 |
D Larchey-Wendling, Y Forster LOGICAL METHODS IN COMPUTER SCIENCE 18 (1) | 38 | 2020 |
R GANIAN, P HLINĚNÝ, J NEŠETŘIL, JAN OBDRŽÁLEK, ... Logical Methods in Computer Science (LMCS) 15 (1) | 37 | 2019 |
D GRATZER, GA KAVVOS, A NUYTS, L BIRKEDAL Logical Methods in Computer Science (LMCS) 17 (3) | 36 | 2021 |
B Jacobs LOGICAL METHODS IN COMPUTER SCIENCE 13 (2) | 35 | 2017 |
W Conradie, A Palmigiano, Z Zhao LOGICAL METHODS IN COMPUTER SCIENCE 15 (1) | 33 | 2019 |
O Beyersdorff, J Blinkhorn, L Hinde LOGICAL METHODS IN COMPUTER SCIENCE 15 (1) | 32 | 2019 |
S Castellan, P Clairambault, S Rideau, G Winskel LOGICAL METHODS IN COMPUTER SCIENCE 13 (3) | 32 | 2017 |
C Feier, A Kuusisto, C Lutz LOGICAL METHODS IN COMPUTER SCIENCE 15 (2) | 31 | 2019 |
HH Hansen, C Kupke, J Rutten LOGICAL METHODS IN COMPUTER SCIENCE 13 (1) | 29 | 2017 |
GA KAVVOS Logical Methods in Computer Science (LMCS) 16 (3) | 29 | 2020 |
P Baldan, F Bonchi, H Kerstan, B Koenig LOGICAL METHODS IN COMPUTER SCIENCE 14 (3) | 29 | 2018 |
1 - 20
计算机程序会自动估算并确定日期和引用次数。