No photo of Matteo Acclavio

View Scopus Profile

Matteo Acclavio

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

Fingerprint

Dive into the research topics where Matteo Acclavio is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Researchers
View full fingerprint

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Explore network further
  • 4 Article in 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. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 19 p. 8. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 288).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    5 Downloads (Pure)

  • Logic Programming with Multiplicative Structures

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

  • 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. (eds.). Springer Science+Business Media, p. 342-363 (Lecture Notes in Computer Science, Vol. 14278 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Open Access
    File
    9 Downloads (Pure)

  • Lorenzen-Style Strategies as Proof-Search Strategies

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

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review