Q5089182 (Q5089182): Difference between revisions

From MaRDI portal
← Older editNewer edit →
Import240304020342 (talk | contribs)
4,416,906 edits
Set profile property.
ReferenceBot (talk | contribs)
Bots
1,903,984 edits
‎Changed an Item
Property / cites work
 
Property / cites work: Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption / rank
 
Normal rank
Property / cites work
 
Property / cites work: Which fragments of the interval temporal logic HS are tractable in model checking? / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Road Map of Interval Temporal Logics and Duration Calculi / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3318104 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Non-finite Axiomatizability and Undecidability of Interval Temporal Logics with C, D, and T / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Undecidability of the Logic of Subintervals / rank
 
Normal rank
Property / cites work
 
Property / cites work: B and D Are Enough to Make the Halpern–Shoham Logic Undecidable / rank
 
Normal rank
Property / cites work
 
Property / cites work: Checking interval properties of computations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adding an Equivalence Relation to the Interval Logic ABB: Complexity and Expressiveness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Interval Logics and ωB-Regular Languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Intervals and tenses / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity Hierarchies beyond Elementary / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Modal Logic for Chopping Intervals / rank
 
Normal rank

Revision as of 15:45, 29 July 2024

scientific article; zbMATH DE number 7559392
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 7559392

    Statements

    author
    Laura Bozzelli
    0 references
    Angelo Montanari
    0 references
    Adriano Peron
    0 references
    Pietro Sala
    0 references
    publication date
    18 July 2022
    0 references
    zbMATH Keywords
    interval temporal logic
    0 references
    star-free regular languages
    0 references
    satisfiability
    0 references
    complexity
    0 references

    Identifiers

    zbMATH DE Number
    7559392
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5089182&oldid=36831238"
    Powered by MediaWiki