-
1تقرير
المؤلفون: Place, Thomas, Zeitoun, Marc
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory
الوصول الحر: http://arxiv.org/abs/2402.10080Test
-
2تقرير
المؤلفون: Place, Thomas, Zeitoun, Marc
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory
الوصول الحر: http://arxiv.org/abs/2401.16195Test
-
3تقرير
-
4تقرير
المؤلفون: Place, Thomas, Zeitoun, Marc
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/2307.09349Test
-
5
-
6تقرير
المؤلفون: Place, Thomas, Zeitoun, Marc
المصدر: TheoretiCS, Volume 2 (January 10, 2024) theoretics:9932
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory
الوصول الحر: http://arxiv.org/abs/2205.12703Test
-
7تقرير
المؤلفون: Place, Thomas, Zeitoun, Marc
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory
الوصول الحر: http://arxiv.org/abs/2205.01632Test
-
8تقرير
المؤلفون: Place, Thomas
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
الوصول الحر: http://arxiv.org/abs/2202.03989Test
-
9دورية أكاديمية
المؤلفون: Place, Thomas, Zeitoun, Marc
المساهمون: Thomas Place and Marc Zeitoun
مصطلحات موضوعية: Classes of regular languages, Generalized unary temporal logic, Generalized two-variable first-order logic, Generic decidable characterizations, Membership, Separation
وصف الملف: application/pdf
العلاقة: Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024); urn:nbn:de:0030-drops-196888; https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.45Test
الإتاحة: https://doi.org/10.4230/LIPIcs.CSL.2024.45Test
https://nbn-resolving.org/urn:nbn:de:0030-drops-196888Test -
10تقرير