Terminating Tableaux for the Basic Fragment of Simple Type Theory (Q3648727)

From MaRDI portal
Revision as of 16:11, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Terminating Tableaux for the Basic Fragment of Simple Type Theory
scientific article

    Statements

    Terminating Tableaux for the Basic Fragment of Simple Type Theory (English)
    0 references
    0 references
    0 references
    1 December 2009
    0 references
    0 references
    0 references

    Identifiers