1. <code id="md54j"></code>
      <big id="md54j"><em id="md54j"></em></big>

        <code id="md54j"><nobr id="md54j"><samp id="md54j"></samp></nobr></code>
        <dfn id="md54j"><option id="md54j"><sub id="md54j"></sub></option></dfn>
        1. <th id="md54j"></th>

          Mirror operated in collaboration with local support

          Formal Languages and Automata Theory

          Authors and titles for recent submissions

          [ total of 16 entries: 1-16 ]
          [ showing up to 25 entries per page: fewer | more ]

          Thu, 21 May 2020

          [1]  arXiv:2005.10127 [pdf]
          Title: Multi-head Watson-Crick quantum finite automata
          Comments: arXiv admin note: substantial text overlap with arXiv:1507.05282, arXiv:1607.00811
          Subjects: Formal Languages and Automata Theory (cs.FL)
          [2]  arXiv:2005.10126 [pdf]
          Title: State Complexity of Reversible Watson-Crick Automata
          Subjects: Formal Languages and Automata Theory (cs.FL)
          [3]  arXiv:2005.10085 (cross-list from cs.LG) [pdf, other]
          Title: DisCoveR: Accurate & Efficient Discovery of Declarative Process Models
          Comments: Author's original version
          Subjects: Machine Learning (cs.LG); Formal Languages and Automata Theory (cs.FL); Software Engineering (cs.SE); Machine Learning (stat.ML)

          Wed, 20 May 2020

          [4]  arXiv:2005.09507 [pdf, ps, other]
          Title: Decidability and k-Regular Sequences
          Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
          [5]  arXiv:2005.09489 [pdf, other]
          Title: On the Separability Problem of String Constraints
          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
          [6]  arXiv:2005.09281 [pdf, other]
          Title: On Weighted Prefix Normal Words
          Comments: 18 pages
          Subjects: Formal Languages and Automata Theory (cs.FL); Combinatorics (math.CO)
          [7]  arXiv:2005.09125 [pdf, other]
          Title: On the Power of Unambiguity in Büchi Complementation
          Subjects: Formal Languages and Automata Theory (cs.FL); Computation and Language (cs.CL)
          [8]  arXiv:2005.09585 (cross-list from math.CO) [pdf, other]
          Title: A Frameless 2-Coloring of the Plane Lattice
          Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL)

          Mon, 18 May 2020

          [9]  arXiv:2005.07569 [pdf]
          Title: Two-way Nanoscale automata
          Subjects: Formal Languages and Automata Theory (cs.FL)
          [10]  arXiv:2005.07227 [pdf, other]
          Title: Qualitative Controller Synthesis for Consumption Markov Decision Processes
          Comments: Full version of a paper accepted at CAV'20
          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
          [11]  arXiv:2005.07325 (cross-list from quant-ph) [pdf, other]
          Title: On the Origin of Quantum Uncertainty
          Authors: Christoph Adami (Michigan State University)
          Comments: Contribution to the FQXi Essay Contest: "Undecidability, Uncomputability, and Unpredictability". 9 pages plus two pages of Supplementary Material
          Subjects: Quantum Physics (quant-ph); Formal Languages and Automata Theory (cs.FL)

          Fri, 15 May 2020

          [12]  arXiv:2005.06818 [pdf, other]
          Title: Structural Equivalences for Reversible Calculi of Communicating Systems (Oral communication)
          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)
          [13]  arXiv:2005.06814 (cross-list from cs.DC) [pdf, other]
          Title: How Reversibility Can Solve Traditional Questions: The Example of Hereditary History-Preserving Bisimulation
          Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO); Logic (math.LO)

          Thu, 14 May 2020

          [14]  arXiv:2005.06285 [pdf, other]
          Title: Bisimulation Finiteness of Pushdown Systems Is Elementary
          Subjects: Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
          [15]  arXiv:2005.06411 (cross-list from cs.LO) [pdf, ps, other]
          Title: Bisimilarity in fresh-register automata
          Subjects: Logic in Computer Science (cs.LO); Formal Languages and Automata Theory (cs.FL)
          [16]  arXiv:2005.06115 (cross-list from cs.LO) [pdf, ps, other]
          Title: Probabilistic Hyperproperties with Nondeterminism
          Subjects: Logic in Computer Science (cs.LO); Cryptography and Security (cs.CR); Formal Languages and Automata Theory (cs.FL)
          [ total of 16 entries: 1-16 ]
          [ showing up to 25 entries per page: fewer | more ]
          Ϸ