Automata

Results: 1989



#Item
471

BRICS Basic Research in Computer Science ´ BRICS RSEsik & N´emeth: Higher Dimensional Automata

Add to Reading List

Source URL: www.brics.dk

- Date: 2002-11-20 04:52:21
    472

    Ranking based Techniques for Disambiguating B¨uchi Automata Hrishikesh Karmarkar Supratik Chakraborty

    Add to Reading List

    Source URL: www.cmi.ac.in

    - Date: 2011-01-29 07:34:50
      473

      I D E A League Report on Comparison of Curricula in Computer Science I D E A League IC London - Imperial College, University of London

      Add to Reading List

      Source URL: www.automata.rwth-aachen.de

      - Date: 2012-05-29 10:56:27
        474

        LOGIC & AUTOMATA — ASSIGNMENT 1 Due: 29 February, 5pm Note: marks do not reflect difficultymarks) Consider MSO formulae over a vocabulary that has only one binary relation symbol <. We are interested in structu

        Add to Reading List

        Source URL: homepages.inf.ed.ac.uk

        - Date: 2008-02-21 11:43:57
          475

          List of Publications1 Bastien Chopard October 1, 2014 Books 1. B. Chopard and M. Droz, Cellular Automata Modeling of Physical Systems, Cambridge University Press, Collection Al´ea, pages

          Add to Reading List

          Source URL: cui.unige.ch

          - Date: 2014-10-01 05:53:26
            476

            Around the Physical Church-Turing Thesis: Cellular Automata, Formal Languages, and the Principles of Quantum Theory Gilles Dowek INRIA, 23 avenue d’Italie, CS 81321, 75214 Paris Cedex 13, France

            Add to Reading List

            Source URL: who.rocq.inria.fr

            - Date: 2012-01-11 10:45:44
              477

              On the Complexity of k-Piecewise Testability and the Depth of Automata Tom´ aˇs Masopust ? and Micha¨el Thomazo ?? TU Dresden, Germany

              Add to Reading List

              Source URL: ddll.inf.tu-dresden.de

              - Date: 2015-05-15 05:03:52
                478

                Dedicated to the memory of Andrew Ladd. ABSTRACT B¨uchi Automata as Specifications for Reactive Systems

                Add to Reading List

                Source URL: www.cs.rice.edu

                - Date: 2012-06-27 18:11:25
                  479

                  Informatique Fondamentale IMA S8 Cours 3: Counter automata, Turing Machines and decidable problems Laure Gonnord http://laure.gonnord.org/pro/teaching/

                  Add to Reading List

                  Source URL: laure.gonnord.org

                  - Date: 2012-03-27 01:45:03
                    480

                    BRICS Basic Research in Computer Science BRICS DS-00-6 J. G. Henriksen: Logics and Automata for Verification: Expressiveness and Decidability Issues

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2001-09-12 09:39:37
                      UPDATE