Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

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

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
  • 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-proceedingKonferencebidrag i proceedingsForskningpeer review

    Åben adgang
    Fil
    2 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-proceedingKonferencebidrag i proceedingsForskningpeer review