يعرض 1 - 10 نتائج من 138 نتيجة بحث عن '"Skrzypczak, Michał"', وقت الاستعلام: 1.69s تنقيح النتائج
  1. 1
    تقرير
    Positionality in {\Sigma}_0^2 and a completeness result

    المؤلفون: Ohlmann, Pierre, Skrzypczak, Michał

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2309.17022

    أضف إلى المفضلة
  2. 2
    تقرير
    The Probabilistic Rabin Tree Theorem

    المؤلفون: Niwiński, Damian, Parys, Paweł, Skrzypczak, Michał

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/2304.12158

    أضف إلى المفضلة
  3. 3
    تقرير
    Languages given by Finite Automata over the Unary Alphabet

    المؤلفون: Czerwiński, Wojciech, Dębski, Maciej, Gogasz, Tomasz, Hoi, Gordon, Jain, Sanjay, Skrzypczak, Michał, Stephan, Frank, Tan, Christopher

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Mathematics - Logic, 03D05, 68Q15, 68Q17, 68Q45

    URL الوصول: http://arxiv.org/abs/2302.06435

    أضف إلى المفضلة
  4. 4
    تقرير
    On the expressive power of non-deterministic and unambiguous Petri nets over infinite words

    المؤلفون: Finkel, Olivier, Skrzypczak, Michał

    المصدر: Fundamenta Informaticae, Volume 183, Issues 3-4: Petri Nets 2020 (December 23, 2021) fi:8757

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

    URL الوصول: http://arxiv.org/abs/2107.04025

    أضف إلى المفضلة
  5. 5
    تقرير
    Deterministic and game separability for regular languages of infinite trees

    المؤلفون: Clemente, Lorenzo, Skrzypczak, Michał

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

    URL الوصول: http://arxiv.org/abs/2105.01137

    أضف إلى المفضلة
  6. 6
    تقرير
    On the Succinctness of Alternating Parity Good-for-Games Automata

    المؤلفون: Boker, Udi, Kuperberg, Denis, Lehtinen, Karoliina, Skrzypczak, Michał

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, F.4.3

    URL الوصول: http://arxiv.org/abs/2009.14437

    أضف إلى المفضلة
  7. 7
    تقرير
    On Succinctness and Recognisability of Alternating Good-for-Games Automata

    المؤلفون: Boker, Udi, Kuperberg, Denis, Lehtinen, Karoliina, Skrzypczak, Michał

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, F.4.3

    URL الوصول: http://arxiv.org/abs/2002.07278

    أضف إلى المفضلة
  8. 8
    تقرير
    The Uniform Measure of Simple Regular Sets of Infinite Trees

    المؤلفون: Przybyłko, Marcin, Skrzypczak, Michał

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

    URL الوصول: http://arxiv.org/abs/2001.11576

    أضف إلى المفضلة
  9. 9
    تقرير
    MSO+nabla is undecidable

    المؤلفون: Bojańczyk, Mikołaj, Kelmendi, Edon, Skrzypczak, Michał

    مصطلحات موضوعية: Computer Science - Logic in Computer Science

    URL الوصول: http://arxiv.org/abs/1901.06900

    أضف إلى المفضلة
  10. 10
    تقرير
    Regular tree languages in low levels of the Wadge Hierarchy

    المؤلفون: Bojańczyk, Mikołaj, Cavallari, Filippo, Place, Thomas, Skrzypczak, Michał

    المصدر: Logical Methods in Computer Science, Volume 15, Issue 3 (September 4, 2019) lmcs:4647

    مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory

    URL الوصول: http://arxiv.org/abs/1806.02041

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء