Q4842974 (Q4842974): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q1044835
RedirectionBot (talk | contribs)
Changed an Item
Property / author
 
Property / author: Andrea Masini / rank
 
Normal rank

Revision as of 03:36, 22 February 2024

scientific article; zbMATH DE number 786493
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 786493

    Statements

    0 references
    0 references
    22 April 1996
    0 references
    2-sequents
    0 references
    fragments of intuitionistic multiplicative linear logic
    0 references
    exponentials
    0 references
    normalization theorem
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references