Statistics
Publications
11
Citations
364
H-Index
10
Active since
2014
Jorge Fandinno is an author at Institut de Recherche en Informatique de Toulouse specializing in computer science, computing, and logic programming.
Publications per year
2014–2023
11
11
Verifying Tight Logic Programs with anthem and vampire
Jorge Fandinno, Vladimir Lifschitz, Patrick Lühne et al. · Theory and Practice of Logic Programming · 2020 · 29 citations · Full text
1–5 of 11