Showing 161 - 180 results of 632 for search '"formal languages"', query time: 0.10s Refine Results
  1. 161
  2. 162
  3. 163
  4. 164
  5. 165
  6. 166
  7. 167

    Degrees of Lookahead in Regular Infinite Games by Michael Holtmann, Lukasz Kaiser, Wolfgang Thomas

    Published 2012-09-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  8. 168

    Residuality and Learning for Nondeterministic Nominal Automata by Joshua Moerman, Matteo Sammartino

    Published 2022-02-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  9. 169

    B\"uchi Complementation and Size-Change Termination by Seth Fogarty, Moshe Y. Vardi

    Published 2012-02-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  10. 170

    On the Expressive Power of Higher-Order Pushdown Systems by Paweł Parys

    Published 2020-08-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  11. 171

    Decision Problems for Subclasses of Rational Relations over Finite and Infinite Words by Christof Löding, Christopher Spinrath

    Published 2019-01-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  12. 172

    A decidable characterization of locally testable tree languages by Thomas Place, Luc Segoufin

    Published 2011-11-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  13. 173
  14. 174

    The Complexity of Aggregates over Extractions by Regular Expressions by Johannes Doleschal, Benny Kimelfeld, Wim Martens

    Published 2023-08-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  15. 175

    Register Games by Karoliina Lehtinen, Udi Boker

    Published 2020-05-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  16. 176
  17. 177

    Inkdots as advice for finite automata by Uğur Küçük, A. C. Cem Say, Abuzer Yakaryılmaz

    Published 2017-09-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  18. 178
  19. 179

    Collaboration vs. choreography conformance in BPMN by Flavio Corradini, Andrea Morichetta, Andrea Polini, Barbara Re, Francesco Tiezzi

    Published 2020-10-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article
  20. 180

    Weighted Pushdown Systems with Indexed Weight Domains by Yasuhiko Minamide

    Published 2016-06-01
    Subjects: “…computer science - formal languages and automata theory…”
    Get full text
    Article