%0 Thesis %1 phd/it/VOLPE10 %A Volpe, Marco %D 2010 %K dblp %T Labeled natural deduction for temporal logics.

@phdthesis{phd/it/VOLPE10, added-at = {2023-05-10T00:00:00.000+0200}, author = {Volpe, Marco}, biburl = {https://www.bibsonomy.org/bibtex/2cf21734c58c937fa5f90e573e4539ceb/dblp}, ee = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=TD11087417}, interhash = {9634e01e29fdf176b7a5cbf5f7229e0a}, intrahash = {cf21734c58c937fa5f90e573e4539ceb}, keywords = {dblp}, school = {University of Verona, Italy}, timestamp = {2024-04-09T09:28:04.000+0200}, title = {Labeled natural deduction for temporal logics.}, year = 2010 }