Automata

Results: 1989



#Item
91

Tree Automata for Reachability in Rewriting Thomas Genet http://people.irisa.fr/Thomas.Genet/ IRISA, Universit´e de Rennes 1 1

Add to Reading List

Source URL: www.win.tue.nl

- Date: 2017-02-02 02:41:59
    92

    Integrals, Partitions, and Cellular Automata Alexander E. Holroyd∗ Thomas M. Liggett† Dan Romik‡

    Add to Reading List

    Source URL: www.math.ucdavis.edu

    - Date: 2014-02-10 20:43:53
      93

      Weighted Automata and Rewriting Proposal for Course in Advanced Track of ISR Johannes Waldmann, HTWK Leipzig 30. November 2016

      Add to Reading List

      Source URL: www.win.tue.nl

      - Date: 2017-02-01 05:01:12
        94

        SHORTEST PATHS IN THE TOWER OF HANOI GRAPH AND FINITE AUTOMATA DAN ROMIK Abstract. We present efficient algorithms for constructing a shortest path between two configurations in the Tower of Hanoi graph, and for computin

        Add to Reading List

        Source URL: www.math.ucdavis.edu

        - Date: 2014-02-10 20:43:55
          95

          Theory Comput Syst DOIs00224Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Marcelo Arenas · Pablo Barceló · Leonid Libkin

          Add to Reading List

          Source URL: marenas.sitios.ing.uc.cl

          - Date: 2013-04-26 05:57:02
            96

            Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian Automata

            Add to Reading List

            Source URL: www.win.tue.nl

            - Date: 2017-06-27 17:17:14
              97

              Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar

              Add to Reading List

              Source URL: arxiv.org

              - Date: 2018-01-02 20:44:15
                98

                Scilla: a Smart Contract Intermediate-Level LAnguage Automata for Smart Contract Implementation and Verification Ilya Sergey Amrit Kumar

                Add to Reading List

                Source URL: ilyasergey.net

                - Date: 2018-03-26 18:04:21
                  99

                  Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes Paolo Ballarini1 , Nathalie Bertrand2 , Andr´as Horv´ath3 , Marco Paolieri4 , and Enrico Vicario4 ´ Ecole

                  Add to Reading List

                  Source URL: www-bcf.usc.edu

                  - Date: 2013-09-25 11:27:02
                    UPDATE