Statistics
Publications
2
Citations
42
H-Index
2
Active since
2012
Affiliations
Alberto Naibo is an author at Université Paris 1 Panthéon-Sorbonne specializing in theorem proving, logic, and expansion.
Publications per year
2012–2014
2
2
Are Uniqueness and Deducibility of Identicals the Same?
Alberto Naibo, Mattia Petrolo · Theoria · 2014 · 14 citations
1–2 of 2