„regular languages“

Suchergebnisse

304 Treffer

• Regular tree languages, cardinality predicates, and addition-invariant FO
  Harwath, Frederik ; Schweikardt, Nicole 2011 Universitätsbibliothek Johann Christian Senckenberg
• Specification Languages for Stutter-Invariant Regular Properties
  Dax, Christian ; Klaedtke, Felix Christopher ; Leue, Stefan 2010 Bibliothek der Universität Konstanz
• Expressing Context-Free Tree Languages by Regular Tree Grammars
  Teichmann, Markus ; Vogler, Heiko ; Drewes, Frank 2017 Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden
• Correction to: Second-order relations and nomic regularities
  Friend, Toby
• Correction to: Are non-accidental regularities a cosmic coincidence? Revisiting a central threat to Humean laws
  Filomeno, Aldo
• Corrigendum to “Generalized periodicity and primitivity for words”
  Ito, Masami ; Lischke, Gerhard
• Finiteness of Symbolic Derivatives in Lean
  Zhuchko, Ekaterina ; Maarand, Hendrik ; Veanes, Margus ; Ebner, Gabriel 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXVIII – Special Issue on Database- and Expert-Systems Applications
  2018 Springer International Publishing
• Small Dynamic Complexity Classes – An Investigation into Dynamic Descriptive Complexity
  Zeume, Thomas 2017 Springer International Publishing
• Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI – Special Issue on Data and Security Engineering
  Hameurlain, Abdelkader ; Küng, Josef ; Wagner, Roland ; Dang, Tran Khanh ; Thoai, Nam 2017 Springer Berlin Heidelberg
• Descriptive Set Theoretic Methods in Automata Theory – Decidability and Topological Complexity
  Skrzypczak, Michał 2016 Springer Berlin Heidelberg
• Developments in Language Theory – 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings
  2014 Springer International Publishing
• Programmable Co‑Transcriptional Splicing: Realizing Regular Languages via Hairpin Deletion
  Cho, Da-Jung ; Fazekas, Szilárd Zsolt ; Seki, Shinnosuke ; Wiedenhöft, Max 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Resolving Nondeterminism with Randomness
  Henzinger, Thomas A. ; Prakash, Aditya ; Thejaswini, K. S. 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Right-Linear Lattices: An Algebraic Theory of ω-Regular Languages, with Fixed Points
  Das, Anupam ; De, Abhishek 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dynamic Membership for Regular Tree Languages
  Amarilli, Antoine ; Barloy, Corentin ; Jachiet, Louis ; Paperman, Charles 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Regular Languages in the Sliding Window Model
  Ganardi, Moses ; Hucke, Danny ; Lohrey, Markus ; Mamouras, Konstantinos ; Starikovskaya, Tatiana
• Differential Object Marking in Corsican: Regularities and triggering factors
  Neuburger, Kathrin Anne ; Stark, Elisabeth
• The Trichotomy of Regular Property Testing
  Bathie, Gabriel ; Fijalkow, Nathanaël ; Mascle, Corto 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Top-down tree edit-distance of regular tree languages
  Ko, Sang-Ki ; Han, Yo-Sub ; Salomaa, Kai