Works by Jakub Michaliszyn

( view other items matching `Jakub Michaliszyn`, view all matches )
Order:
  1.  4
    Finite Satifiability of Modal Logic over Horn Definable Classes of Frames.Jakub Michaliszyn & Emanuel Kieroński - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 464-482.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  5
    Learning infinite-word automata with loop-index queries.Jakub Michaliszyn & Jan Otop - 2022 - Artificial Intelligence 307 (C):103710.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark