Gösterilen 1 - 2 sonuçlar arası kayıtlar. 2 sonuç. Aranan kelime 'Jakub Gajarský', Sorgu süresi: 0.02s Sonuçları Daraltın
  1. 1
    Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences

    Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences Yazar: Jakub Gajarsky, Petr Hlineny

    Baskı/Yayın Bilgisi 2015-04-01
    Tam Metin Erişim
    Makale
  2. 2
    Faster Existential FO Model Checking on Posets

    Faster Existential FO Model Checking on Posets Yazar: Jakub Gajarský, Petr Hliněný, Jan Obdržálek, Sebastian Ordyniak

    Baskı/Yayın Bilgisi 2015-12-01
    Tam Metin Erişim
    Makale

Arama Araçları: