A tableau construction for finite linear-time temporal logic (Q2669249)

From MaRDI portal
Revision as of 05:28, 28 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
A tableau construction for finite linear-time temporal logic
scientific article

    Statements

    Identifiers