Equational type logic

V. Manca, A. Salibra, Giuseppe Scollo

    Research output: Contribution to journalArticleAcademicpeer-review

    33 Citations (Scopus)
    143 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Equational type logic'. Together they form a unique fingerprint.

    Mathematics

    Engineering & Materials Science