SYMMETRIES IN MODAL LOGICS (Q5346685): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 1303.7327 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Without Loss of Generality / rank
 
Normal rank
Property / cites work
 
Property / cites work: FM 2005: Formal methods. International symposium of formal methods Europe, Newcastle, UK, July 18--22, 2005. Proceedings. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Automated deduction -- CADE-23. 23rd international conference on automated deduction, Wrocław, Poland, July 31 -- August 5, 2011. Proceedings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4532193 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tractability through symmetries in propositional calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: A benchmark method for the propositional modal logics K, KT, S4 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Exploiting orbits in symmetric ILP / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pruning by isomorphism in branch-and-cut / rank
 
Normal rank
Property / cites work
 
Property / cites work: Symmetric blocking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Coinductive models and normal forms for modal logics (or how we learned to stop worrying and love coinduction) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3184605 / rank
 
Normal rank

Latest revision as of 21:57, 13 July 2024

scientific article; zbMATH DE number 6723419
Language Label Description Also known as
English
SYMMETRIES IN MODAL LOGICS
scientific article; zbMATH DE number 6723419

    Statements

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references