Satisfiability of ECTL* with Tree Constraints (Q3194710)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Satisfiability of ECTL* with Tree Constraints
scientific article

    Statements

    Identifiers