Statistics
Publications
2
Citations
76
H-Index
2
Active since
2015
Affiliations
University of Otago(Current)
Guillermo Badía is an author at University of Otago specializing in automated reasoning, engineering, and epistemology.
Publications per year
2015–2016
2
2
Bi-Simulating in Bi-Intuitionistic Logic
Guillermo Badía · Studia Logica · 2016 · 16 citations
1–2 of 2