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

Enumerating Regular Languages with Bounded Delay

Subjects: Regular language; Constant-delay enumeration; Edit distanceHamburg; Germany

  • Source: STACS ; https://hal.science/hal-03940590 ; STACS, Mar 2023, Hamburg, Germany. ⟨10.4230/LIPIcs.STACS.2023.8⟩

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

×
Conference

State Complexity of Single-Word Pattern Matching in Regular Languages

Subjects: All-sided ideal; Combined operation; FactorKošice; SlovakiaKošice, Slovakia

  • Source: Lecture Notes in Computer Science ; 21th International Conference on Descriptional Complexity of Formal Systems (DCFS) ; https://hal.inria.fr/hal-02387297 ; 21th International Conference on

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

×
Conference

On Classes of Regular Languages Related to Monotone WQOs

Subjects: Regular language; Monotone WQO; Lattice of upper setsKošice; SlovakiaKošice, Slovakia

  • Source: Lecture Notes in Computer Science ; 21th International Conference on Descriptional Complexity of Formal Systems (DCFS) ; https://hal.inria.fr/hal-02387304 ; 21th International Conference on

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

×
Conference

On the State Complexity of the Shuffle of Regular Languages

Subjects: Regular language; Shuffle; State complexityBucharest; Romania

  • Source: Lecture Notes in Computer Science ; 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS) ; https://hal.inria.fr/hal-01633943 ; 18th International Workshop on Descriptional

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

×
Conference

Unrestricted State Complexity of Binary Operations on Regular Languages

Subjects: Boolean operation; Concatenation; Different alphabetsBucharest; Romania

  • Source: Lecture Notes in Computer Science ; 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS) ; https://hal.inria.fr/hal-01633951 ; 18th International Workshop on Descriptional

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

×
Conference

Beyond Regularity for Presburger Modal Logics

Subjects: modal logic; Presburger arithmetic; decidabilityCopenhagen; Denmark

  • Source: 9th Workshop on Advances in Modal Logics (AiML'12)https://hal.archives-ouvertes.fr/hal-031949139th Workshop on Advances in Modal Logics (AiML'12), Thomas BolanderTorben Brauner

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

×
  • 1-10 ل  63 نتائج ل ""Regular language""