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

From MaRDI portal
Revision as of 18:23, 14 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q438560)
scientific article
In more languages
Configure
Language Label Description Also known as
English
Terminating Tableaux for the Basic Fragment of Simple Type Theory
scientific article

    Statements

    Identifiers