يعرض 1 - 10 نتائج من 129 نتيجة بحث عن '"Czerwiński, Wojciech"', وقت الاستعلام: 0.99s تنقيح النتائج
  1. 1
    تقرير
    New Lower Bounds for Reachability in Vector Addition Systems

    المؤلفون: Czerwiński, Wojciech, Jecker, Ismaël, Lasota, Sławomir, Leroux, Jérôme, Orlikowski, Łukasz

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

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

    أضف إلى المفضلة
  2. 2
    تقرير
    Acyclic Petri and Workflow Nets with Resets

    المؤلفون: Chistikov, Dmitry, Czerwiński, Wojciech, Hofman, Piotr, Mazowiecki, Filip, Sinclair-Banks, Henry

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

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

    أضف إلى المفضلة
  3. 3
    تقرير
    Separability and Non-Determinizability of WSTS

    المؤلفون: Czerwiński, Wojciech, Keskin, Eren, Lasota, Sławomir, Meyer, Roland, Muskalla, Sebastian, Kumar, K Narayan, Saivasan, Prakash

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

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

    أضف إلى المفضلة
  4. 4
    تقرير
    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

    أضف إلى المفضلة
  5. 5
    تقرير
    The boundedness and zero isolation problems for weighted automata over nonnegative rationals

    المؤلفون: Czerwiński, Wojciech, Lefaucheux, Engel, Mazowiecki, Filip, Purser, David, Whiteland, Markus A.

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

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

    أضف إلى المفضلة
  6. 6
    تقرير
    Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes

    المؤلفون: Czerwiński, Wojciech, Orlikowski, Łukasz

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

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

    أضف إلى المفضلة
  7. 7
    تقرير
    Language Inclusion for Boundedly-Ambiguous Vector Addition Systems is Decidable

    المؤلفون: Czerwiński, Wojciech, Hofman, Piotr

    المصدر: LIPIcs, 2022, 243, 16:1--16:22, Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik

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

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

    أضف إلى المفضلة
  8. 8
    تقرير
    Long Runs Imply Big Separators in Vector Addition Systems

    المؤلفون: Czerwiński, Wojciech, Jędrych, Adam

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

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

    أضف إلى المفضلة
  9. 9
    تقرير
    Reachability in Vector Addition Systems is Ackermann-complete

    المؤلفون: Czerwiński, Wojciech, Orlikowski, Łukasz

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

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

    أضف إلى المفضلة
  10. 10
    تقرير
    New Techniques for Universality in Unambiguous Register Automata

    المؤلفون: Czerwiński, Wojciech, Mottet, Antoine, Quaas, Karin

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

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

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