Index of /Archive/Papers

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[   ] AiML2022.pdf            2025-01-13 12:20  293K  
[   ] CKICP+WIS.pdf           2025-01-13 12:20  287K  
[   ] CKWIS.pdf               2025-01-13 12:20  188K  
[   ] CPKfinal.pdf            2025-01-13 12:20  528K  
[   ] CPforMELL(proceeding..> 2025-01-13 12:20  329K  
[   ] CPrelevant.pdf          2025-01-13 12:20  454K  
[   ] CSL24.pdf               2025-01-13 12:20  573K  
[   ] DDIfinal.pdf            2025-01-13 12:20  379K  
[   ] Dialog.pdf              2025-01-13 12:20  173K  
[   ] DifDeepTLLA(proceedi..> 2025-01-13 12:20  279K  
[   ] EsempioArticolo.pdf     2025-01-13 12:20  247K  
[   ] FSCD2022.pdf            2025-01-13 12:20  1.0M  
[   ] FromSyntacticalToCom..> 2025-01-13 12:20  422K  
[   ] GPT-IJCAR24.pdf         2025-01-13 12:20  286K  
[   ] GPT1.pdf                2025-01-13 12:20  375K  
[   ] GenCon2020.pdf          2025-01-13 12:20  588K  
[   ] HippocampeEN.pdf        2025-01-13 12:20  263K  
[   ] HippocampeIT.pdf        2025-01-13 12:20  252K  
[   ] LBF-LMCS.pdf            2025-01-13 12:20  953K  
[   ] LBF.pdf                 2025-01-13 12:20  1.2M  
[   ] LMW24.pdf               2025-01-13 12:20  2.0M  
[   ] LPmultiplicative.pdf    2025-01-13 12:20  303K  
[   ] LogicalTime.pdf         2025-01-13 12:20  1.0M  
[   ] MellCP-postTLLA.pdf     2025-01-13 12:20  340K  
[   ] Modal-Lambda.pdf        2025-01-13 12:20  240K  
[   ] OPDL.pdf                2025-01-13 12:20  764K  
[   ] PLLcomplexity.pdf       2025-01-13 12:20  1.1M  
[   ] PN-PIandMALL1.pdf       2025-01-16 13:51  1.1M  
[   ] PaF-ESOPext.pdf         2025-01-16 13:51  902K  
[   ] PhdThesisAcclavio.pdf   2025-01-13 12:20  1.3M  
[   ] ProofDiaLinearity.pdf   2025-01-13 12:20  161K  
[   ] ProofDiagrams.pdf       2025-01-13 12:20  600K  
[   ] ProofNetsPi.pdf         2025-01-13 12:20  971K  
[   ] RapportoHippocampe.pdf  2025-01-13 12:20  266K  
[   ] SILFS17.pdf             2025-01-13 12:20  740K  
[   ] TutorialTLLA2021.pdf    2025-01-13 12:20  1.5M  
[   ] infCutElim.pdf          2025-01-13 12:20  769K  
[   ] infCutElimExt.pdf       2025-01-13 12:20  843K  
[   ] memoireMasterAcclavi..> 2025-01-13 12:20  466K  
[   ] notesSecProtPub.pdf     2025-01-13 12:20   96K  
[   ] proofzilla.pdf          2025-01-13 12:20  174K  
[   ] tesiSpecialisticaAcc..> 2025-01-13 12:20  610K  
[   ] tesiTriennaleAcclavi..> 2025-01-13 12:20  409K