Showing 1 - 1 results of 1 for search 'Matteo Acclavio', query time: 0.01s Refine Results
  1. 1
    An Analytic Propositional Proof System on Graphs

    An Analytic Propositional Proof System on Graphs by Matteo Acclavio, Ross Horne, Lutz Straßburger

    Published 2022-10-01
    Get full text
    Article

Search Tools: