Search Results - Maringelli, Elena

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    A New Correctness Criterion for Cyclic Proof Nets

    A New Correctness Criterion for Cyclic Proof Nets by Abrusci, V. Michele, Maringelli, Elena

    Get full text
    Article
    Save to List
    Saved in:

Search Tools: