ECHENIM, Bertrand Mnacho
 Distribuzione geografica
Continente #
NA - Nord America 152
EU - Europa 132
AS - Asia 88
Continente sconosciuto - Info sul continente non disponibili 16
SA - Sud America 10
AF - Africa 2
OC - Oceania 1
Totale 401
Nazione #
US - Stati Uniti d'America 149
SG - Singapore 47
RU - Federazione Russa 44
GB - Regno Unito 42
CN - Cina 24
IT - Italia 13
SE - Svezia 9
FR - Francia 6
BR - Brasile 5
FI - Finlandia 5
IE - Irlanda 5
DE - Germania 4
HK - Hong Kong 4
VN - Vietnam 4
CO - Colombia 3
KR - Corea 3
AR - Argentina 2
CA - Canada 2
ID - Indonesia 2
JP - Giappone 2
UA - Ucraina 2
AO - Angola 1
AT - Austria 1
AU - Australia 1
CR - Costa Rica 1
LT - Lituania 1
MY - Malesia 1
NG - Nigeria 1
TR - Turchia 1
Totale 385
Città #
Southend 42
Singapore 25
Woodbridge 21
Ashburn 20
Moscow 14
Jacksonville 12
San Jose 12
Chandler 10
Council Bluffs 9
The Dalles 8
Dublin 5
Hong Kong 4
Jinan 4
Los Angeles 4
Milan 3
Verona 3
Wilmington 3
Cambridge 2
Columbus 2
Dallas 2
Guangzhou 2
Haikou 2
Haiphong 2
Jakarta 2
Lawrence 2
Nanjing 2
Princeton 2
Shenyang 2
Staranzano 2
Tokyo 2
Watsonville 2
Abuja 1
Ann Arbor 1
Aubrey 1
Beijing 1
Boardman 1
Bovisio-Masciago 1
Brooklyn 1
Buffalo 1
Canberra 1
Carneirinho 1
Cartagena 1
Catanduva 1
Catania 1
Changsha 1
Charlotte 1
Connelly Springs 1
Cúcuta 1
Elora 1
Goiânia 1
Hanoi 1
Helsinki 1
Ho Chi Minh City 1
Houston 1
Ibaté 1
Jiaxing 1
Kemerovo 1
Kota Kinabalu 1
La Ceja 1
Luanda 1
Montreal 1
Morgan Hill 1
Nanchang 1
New Haven 1
New Philadelphia 1
New York 1
Northville 1
Orem 1
Phoenix 1
Providence 1
Quilmes 1
Rancho Cucamonga 1
Rio Claro 1
Riverside 1
San José 1
Santa Clara 1
Seoul 1
Sindelfingen 1
Tianjin 1
Travagliato 1
Vienna 1
Totale 277
Nome #
Rewrite-based satisfiability procedures for recursive data structures 229
Rewrite-based decision procedures 172
Totale 401
Categoria #
all - tutte 1.318
article - articoli 0
book - libri 0
conference - conferenze 1.318
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 2.636


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/202210 0 0 0 0 2 0 0 0 0 1 2 5
2022/202340 3 2 5 4 2 14 0 4 5 0 1 0
2023/202415 0 4 4 3 0 0 0 0 0 0 3 1
2024/202562 3 8 1 11 1 0 1 15 10 3 3 6
2025/2026134 12 7 3 15 22 15 20 12 10 11 2 5
2026/202723 4 5 12 2 0 0 0 0 0 0 0 0
Totale 401