I proponenti intendono approfondire e ampliare le ricerche svolte negli ultimi anni nell'ambito della combinatoria, dei linguaggi formali e della complessità descrizionale dei sistemi.
In particolare, si intendono sviluppare i segeunti temi:
(1) aspetti combinatori ed algebrici delle semantiche di logiche non classiche,
(2) studio di simulazioni ottimali tra modelli di automi dal punto di vista della complessità descrizionale,
(3) studio della complessità descrizionale di sottoclassi dei linguaggi context-free (linguaggi bounded, linguaggi deterministici, ecc.)
(4) enumerazione di mappe (e mappe aperte) tra posets,
(5) studio delle partizioni dei posets.
In particolare, si intendono sviluppare i segeunti temi:
(1) aspetti combinatori ed algebrici delle semantiche di logiche non classiche,
(2) studio di simulazioni ottimali tra modelli di automi dal punto di vista della complessità descrizionale,
(3) studio della complessità descrizionale di sottoclassi dei linguaggi context-free (linguaggi bounded, linguaggi deterministici, ecc.)
(4) enumerazione di mappe (e mappe aperte) tra posets,
(5) studio delle partizioni dei posets.