On the Complexity of Semantic Self-minimization (Q2810966): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Q3396636 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Complexity of Decision Problems for Mixed and Modal Specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2851316 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4342079 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4818796 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4536601 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4884237 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q2763694 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5812175 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Results on the propositional \(\mu\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4494388 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3197780 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of facets (and some facets of complexity) / rank
 
Normal rank
Property / cites work
 
Property / cites work: The complexity of facets resolved / rank
 
Normal rank

Latest revision as of 02:18, 12 July 2024

scientific article
Language Label Description Also known as
English
On the Complexity of Semantic Self-minimization
scientific article

    Statements

    On the Complexity of Semantic Self-minimization (English)
    0 references
    0 references
    6 June 2016
    0 references
    3-valued model checking
    0 references
    partial state spaces
    0 references
    computational complexity
    0 references
    supervaluations
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers