Salta al contenuto principale
Ricerc@Sapienza
Toggle navigation
Home
Login
Home
theory of computation
clique
Risultati ricerca pubblicazioni
Risultati ricerca pubblicazioni
Cerca
Torna alla Home Page delle pubblicazioni
Cliques enumeration and tree-like resolution proofs
pubblicato su:
INFORMATION PROCESSING LETTERS - 2018
Lauria Massimo
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma
