Search Results - Abrusci, V.Michele

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Non-commutative logic I: the multiplicative fragment

    Non-commutative logic I: the multiplicative fragment by Abrusci, V.Michele, Ruet, Paul

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Towards a semantics of proofs for non-commutative logic: multiplicatives and additives

    Towards a semantics of proofs for non-commutative logic: multiplicatives and additives by Abrusci, V.Michele

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:

Search Tools: