Santuari, Alessandro
 Distribuzione geografica
Continente #
NA - Nord America 5
AS - Asia 4
EU - Europa 1
Totale 10
Nazione #
US - Stati Uniti d'America 5
SG - Singapore 3
ID - Indonesia 1
IT - Italia 1
Totale 10
Città #
Columbus 2
New York 2
Singapore 2
Ashburn 1
Jakarta 1
Totale 8
Nome #
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T) 11
Totale 11
Categoria #
all - tutte 123
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 123


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20245 0 0 0 0 2 2 1 0 0 0 0 0
2024/20256 0 1 0 5 0 0 0 0 0 0 0 0
Totale 11