ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Il servizio di assistenza via email è sospeso da venerdì 31 Luglio alle 13:30. Le richieste verranno processate regolarmente da lunedì 24 Agosto.

Risultati da 1 a 1 di 1

Titolo	Corso di studi	Anno di discussione	Relatore
Counterpart Semantics for Quantified Temporal Logics: Sets, Categories and Agda	INFORMATICA	2022	Gadducci, Fabio Trotta, Davide