On expressiveness of Halpern-Shoham logic and its Horn fragments (Q6487472)

From MaRDI portal





scientific article; zbMATH DE number 7650007
Language Label Description Also known as
default for all languages
No label defined
    English
    On expressiveness of Halpern-Shoham logic and its Horn fragments
    scientific article; zbMATH DE number 7650007

      Statements

      Identifiers