„regular languages“

Suchergebnisse

1.000+ Treffer

• Automata, languages and programming – 39th international colloquium ; proceedings
  Czumaj, Artur ; Mehlhorn, Kurt ; Pitts, Andrew ; Wattenhofer, Roger Springer
• Natural Colors of Infinite Words
  Ehlers, Rüdiger ; Schewe, Sven 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Melting down the number of variables for the inclusion problem for pattern languages and logspace-decidability of determinism of regular languages
  Bremer, Joachim ; Schweikardt, Nicole ; Köbler, Johannes ; Freydenberger, Dominik 2025 Humboldt-Universität zu Berlin
• Well quasi-orders and regular languages
  Luca, Aldo de ; Varricchio, Stefano
• Formalising Szemerédi’s Regularity Lemma and Roth’s Theorem on Arithmetic Progressions in Isabelle/HOL
  Edmonds, Chelsea ; Koutsoukou-Argyraki, Angeliki ; Paulson, Lawrence C.
• Not staying regular?
  Thong, Joshua
• Low-Latency Sliding Window Algorithms for Formal Languages
  Ganardi, Moses ; Jachiet, Louis ; Lohrey, Markus ; Schwentick, Thomas 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Evaluation and Enumeration Problems for Regular Path Queries
  Martens, Wim ; Popp, Tina 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Trichotomy for Regular Trail Queries
  Martens, Wim ; Niewerth, Matthias ; Popp, Tina 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Quasiorder-Based Perspective on Residual Automata
  Ganty, Pierre ; Gutiérrez, Elena ; Valero, Pedro 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Congruence-based Perspective on Automata Minimization Algorithms
  Ganty, Pierre ; Gutiérrez, Elena ; Valero, Pedro 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Decision problems and regular chain code picture languages
  Dassow, Jürgen ; Hinz, Friedhelm 1989 Techn. Univ. "Otto von Guericke", Sekt. Mathematik
• On Sequential Languages and Two Classes of Regular Events
  SHAMIR, E. ..
• On Sequential Languages and Two Classes of Regular Events
  SHAMIR, Ε.
• Transactions on Large-Scale Data- and Knowledge-Centered Systems LII
  Hameurlain, Abdelkader ; Tjoa, A Min 2022 Springer Berlin
• Weighing in on the HOM-Problem – A Study of Weighted Tree Automata and Homomorphisms
  Nász, Andreea-Teodora 2024 Universitätsbibliothek Leipzig
• Inclusion of pattern languages and related problems
  Freydenberger, Dominik ; Schweikardt, Nicole 2011 Univ.-Bibliothek Frankfurt am Main
• Foundations of Regular Languages for Processing RDF and XML
  Losemann, Katja ; Martens, Wim 2015 Universität Bayreuth
• Formalizing Symbolic Decision Procedures for Regular Languages
  Traytel, Dmytro ; Nipkow, Tobias ; Silva, Alexandra 2015 Universitätsbibliothek der TU München
• Languages and strategies – a study of regular infinite games
  Olschewski, Jörg 2014 Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen