Switch to: References

Add citations

You must login to add citations.
  1. Capturing k-ary existential second order logic with k-ary inclusion–exclusion logic.Raine Rönnholm - 2018 - Annals of Pure and Applied Logic 169 (3):177-215.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • On definability of team relations with k-invariant atoms.Raine Rönnholm - 2022 - Annals of Pure and Applied Logic 173 (10):103136.
    Download  
     
    Export citation  
     
    Bookmark