يعرض 1 - 10 نتائج من 150 نتيجة بحث عن '"Clemente, Lorenzo"', وقت الاستعلام: 0.80s تنقيح النتائج
  1. 1
    تقرير
    Weighted basic parallel processes and combinatorial enumeration

    المؤلفون: Clemente, Lorenzo

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

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

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Multiplicity Problems on Algebraic Series and Context-Free Grammars

    المؤلفون: Balaji, Nikhil, Clemente, Lorenzo, Nosan, Klara, Shirmohammadi, Mahsa, Worrell, James

    المصدر: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) Logic in Computer Science (LICS), 2023 38th Annual ACM/IEEE Symposium on. :1-12 Jun, 2023

    Relation: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

    أضف إلى المفضلة
  3. 3
    تقرير
    On Rational Recursive Sequences

    المؤلفون: Clemente, Lorenzo, Donten-Bury, Maria, Mazowiecki, Filip, Pilipczuk, Michał

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

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

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

    أضف إلى المفضلة
  5. 5
    تقرير
    Determinisability of register and timed automata

    المؤلفون: Clemente, Lorenzo, Lasota, Sławomir, Piórkowski, Radosław

    المصدر: Logical Methods in Computer Science, Volume 18, Issue 2 (May 10, 2022) lmcs:7345

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

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

    أضف إلى المفضلة
  6. 6
    تقرير
    Bidimensional linear recursive sequences and universality of unambiguous register automata

    المؤلفون: Barloy, Corentin, Clemente, Lorenzo

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

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

    أضف إلى المفضلة
  7. 7
    تقرير
    Reachability relations of timed pushdown automata

    المؤلفون: Clemente, Lorenzo, Lasota, Sławomir

    المصدر: Journal of Computer and System Sciences, Volume 117, May 2021, Pages 202-241

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

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

    أضف إلى المفضلة
  8. 8
    تقرير
    On the Complexity of the Universality and Inclusion Problems for Unambiguous Context-Free Grammars

    المؤلفون: Clemente, Lorenzo

    المصدر: EPTCS 320, 2020, pp. 29-43

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

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

    أضف إلى المفضلة
  9. 9
    تقرير
    Determinisability of one-clock timed automata

    المؤلفون: Clemente, Lorenzo, Lasota, Sławomir, Piórkowski, Radosław

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

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

    أضف إلى المفضلة
  10. 10
    تقرير
    On the complexity of the universality and inclusion problems for unambiguous context-free grammars (technical report)

    المؤلفون: Clemente, Lorenzo

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

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

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