<progress id="hpfzt"><pre id="hpfzt"></pre></progress>
        <ruby id="hpfzt"></ruby>
        <big id="hpfzt"><p id="hpfzt"></p></big>

        <progress id="hpfzt"></progress>

        <big id="hpfzt"><pre id="hpfzt"></pre></big>

        <i id="hpfzt"></i>

            <strike id="hpfzt"><video id="hpfzt"><ins id="hpfzt"></ins></video></strike>
            <dl id="hpfzt"></dl>
                Mirror operated in collaboration with local support

                Formal Languages and Automata Theory

                Authors and titles for recent submissions

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

                Fri, 22 May 2020

                [1]  arXiv:2005.10668 [pdf, ps, other]
                Title: Primitive Sets of Words
                Comments: Submitted. arXiv admin note: substantial text overlap with arXiv:1810.02182
                Subjects: Formal Languages and Automata Theory (cs.FL); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
                [2]  arXiv:2005.10372 [pdf, ps, other]
                Title: Infinitude of Primes Using Formal Language Theory
                Authors: Aalok Thakkar
                Journal-ref: The American Mathematical Monthly, 125:8, 745-749 (2018)
                Subjects: Formal Languages and Automata Theory (cs.FL); Number Theory (math.NT)

                Thu, 21 May 2020

                [3]  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)
                [4]  arXiv:2005.10126 [pdf]
                Title: State Complexity of Reversible Watson-Crick Automata
                Subjects: Formal Languages and Automata Theory (cs.FL)
                [5]  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

                [6]  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)
                [7]  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)
                [8]  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)
                [9]  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)
                [10]  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

                [11]  arXiv:2005.07569 [pdf]
                Title: Two-way Nanoscale automata
                Subjects: Formal Languages and Automata Theory (cs.FL)
                [12]  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)
                [13]  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

                [14]  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)
                [15]  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)
                [ total of 15 entries: 1-15 ]
                [ showing up to 25 entries per page: fewer | more ]
                ƴϷ