Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-8 ل  8 نتائج ل ""Regular language""

فلترة النتائج

Collection : Universite De Lyon
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Regular Language Representations in the Constructive Type Theory of Coq

Subjects: Regular languages; Two-way automata; WS1S

  • Source: ISSN: 0168-7433.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Varieties of Cost Functions

Subjects: Cost functions; regular language; varietiesOrléans; France

  • Source: 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016https://hal.science/hal-0161438933rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, Feb 2016,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Positive First-Order Logic on Words and Graphs

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-03865495 ; Logical Methods in Computer Science, 2023, 19 (3), pp.7:1 - 7:35. ⟨10.46298/LMCS-19(3:7)2023⟩

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Positive First-order Logic on Words

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]Rome; France

  • Source: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)https://hal.science/hal-033750962021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2021,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

A trichotomy for regular simple path queries on graphs

Subjects: Graphs; Paths; Regular simple paths

  • Source: ISSN: 0022-0000.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Graph Generators: State of the Art and Open Challenges

Subjects: Graph Generators; Graphs; [INFO.INFO-WB]Computer Science [cs]/Web

  • Source: ISSN: 0360-0300 ; ACM Computing Surveys ; https://inria.hal.science/hal-02435371 ; ACM Computing Surveys, 2020, 53 (2), ⟨10.1145/3379445⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Stamina: Stabilisation Monoids IN Automata theory

Subjects: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]Marne-la-Vallée; France

  • Source: CIAA - International Conference on Implementation and Application of Automata ; https://hal.science/hal-01891164 ; CIAA - International Conference on Implementation and Application of Automata, 2017,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×

Positive First-Order Logic on Words and Graphs

Subjects: [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]

  • Source: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-03865495 ; Logical Methods in Computer Science, 19 (3), pp.7:1 - 7:35, 2023

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-8 ل  8 نتائج ل ""Regular language""