Intet billede af Matteo Acclavio

Vis Scopus-profil

Matteo Acclavio

 https://orcid.org/0000-0002-0425-2825

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Matteo Acclavio er aktiv. Disse emneordskoncepter kommer fra denne persons arbejde. Sammen danner de et unikt fingerprint.
  • 1 Lignende profiler
Se fuldt fingerprint

Samarbejde og topforskningsområder i de sidste fem år

Seneste eksterne samarbejder på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
Udforsk netværk yderligere
  • 4 Konferencebidrag i proceedings

  • Infinitary Cut-Elimination via Finite Approximations

    Acclavio, M., Curzi, G. & Guerrieri, G., feb. 2024, 32nd EACSL Annual Conference on Computer Science Logic, CSL 2024. Murano, A. & Silva, A. (red.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19 s. 8. (Leibniz International Proceedings in Informatics, LIPIcs, Bind 288).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    5 Downloads (Pure)

  • Logic Programming with Multiplicative Structures

    Acclavio, M. & Maieli, R., 1. okt. 2024, Proceedings 13th International Workshop on Developments in Computational Models (DCM 2023). Electronic Proceedings in Theoretical Computer Science, Bind 408. s. 42-61 20 s. (Electronic Proceedings in Theoretical Computer Science, EPTCS).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning

  • Canonicity of Proofs in Constructive Modal Logic

    Acclavio, M., Catta, D. & Olimpieri, F., 2023, Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Proceedings: 32nd International Conference. Ramanayake, R. & Urban, J. (red.). Springer Science+Business Media, s. 342-363 (Lecture Notes in Computer Science, Bind 14278 LNAI).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil
    11 Downloads (Pure)

  • Lorenzen-Style Strategies as Proof-Search Strategies

    Acclavio, M. & Catta, D., 2023, Multi-Agent Systems . Malvone, V. & Murano, A. (red.). Springer Science+Business Media, s. 150-166 (Lecture Notes in Computer Science, Bind 14282).

    Publikation: Kapitel i bog/rapport/konference-proceeding › Konferencebidrag i proceedings › Forskning › peer review