L'obiettivo principale di questo lavoro è chiarire le basi teoriche del Teorema di Courcelle ed esplorare le sue applicazioni nel dominio dei problemi decisionali sui grafi.

Problemi decisionali sui grafi: l'approccio logico basato sul Teorema di Courcelle

BERARDI, ALESSANDRO
2023/2024

Abstract

L'obiettivo principale di questo lavoro è chiarire le basi teoriche del Teorema di Courcelle ed esplorare le sue applicazioni nel dominio dei problemi decisionali sui grafi.
2023
Decision problems on graphs: the logical approach based on Courcelle's Theorem
Teorema di Courcelle
Teoria dei grafi
Logica
Secondo ordine
Lauree magistrali
File in questo prodotto:
File Dimensione Formato  
tesi magistrale berardi.pdf

accesso aperto

Dimensione 1.12 MB
Formato Adobe PDF
Visualizza/Apri
1.12 MB Adobe PDF Visualizza/Apri

The text of this website © Università degli studi di Padova. Full Text are published under a non-exclusive license. Metadata are under a CC0 License

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.12608/64774