Automata

Results: 1989



#Item
151

Background Translation from µ-calculus WS2S to tree automata Internship Louis Jachiet

Add to Reading List

Source URL: louis.jachiet.com

- Date: 2013-08-26 09:47:39
    152

    Call for Papers NCMA 2016 – 8th Workshop on Non-Classical Models of Automata and Applications August, 2016, Debrecen, Hungary http://www.inf.unideb.hu/ncma2016/

    Add to Reading List

    Source URL: www.inf.unideb.hu

    - Date: 2016-06-08 18:45:55
      153

      Croatian FACTSHEET Croatian Veliki broj mitova, praznovjernosti i laxnih vjerovawa razvili su se oko automata za kocku.

      Add to Reading List

      Source URL: www.gamblinghelp.nsw.gov.au

      - Date: 2015-03-31 02:01:57
        154

        Partitioning of Cellular Automata Rule Spaces

        Add to Reading List

        Source URL: www.complex-systems.com

        - Date: 2015-07-07 15:35:12
          155

          6th Workshop on Non-Classical Models of Automata and Applications (NCMAUniversit¨at Kassel Wilhelmsh¨ oher Allee 71–73, 34121 Kassel

          Add to Reading List

          Source URL: www.theory.informatik.uni-kassel.de

          - Date: 2014-07-20 15:31:53
            156

            Towards the Improvement of I/O Automata Ike Antkaretoo International Institute of Technology United Slates of Earth

            Add to Reading List

            Source URL: membres-lig.imag.fr

            - Date: 2014-01-09 04:24:29
              157

              Journal of Automata, Languages and Combinatorics–4, 265–275 c Otto-von-Guericke-Universit¨ at Magdeburg Logical Analysis of Hybrid Systems:

              Add to Reading List

              Source URL: symbolaris.com

              - Date: 2014-08-04 10:09:10
                158

                Error-Prone Cellular Automata as Metaphors of Immunity as Computation

                Add to Reading List

                Source URL: www.complex-systems.com

                - Date: 2015-10-12 16:05:49
                  159

                  Parameterized Veri ation of Broad ast Networks of Register Automata (Te hni al Report) Giorgio Delzanno1 , Arnaud Sangnier2 , and Ri ardo Traverso1 DIBRIS, University of Genova, Italy LIAFA, Univ Paris Diderot, Paris C

                  Add to Reading List

                  Source URL: verify.disi.unige.it

                  - Date: 2013-07-18 06:02:53
                    160

                    Two Elementary Cellular Automata with a New Kind of Dynamic

                    Add to Reading List

                    Source URL: www.complex-systems.com

                    - Date: 2015-10-12 16:05:49
                      UPDATE