Mikołaj

Results: 119



#Item
21

On the decidability of MSO+U on infinite trees Mikolaj Boja´ nczyk1 , Tomasz Gogacz2 , Henryk Michalewski1 and Michal Skrzypczak1? . 1 2

Add to Reading List

Source URL: www.mimuw.edu.pl

Language: English - Date: 2015-05-11 06:12:14
    22

    Tree-walking automata Mikołaj Bojańczyk ? Warsaw University

    Add to Reading List

    Source URL: www.mimuw.edu.pl

    Language: English - Date: 2015-05-11 06:13:07
      23

      Toward Model Theory with Data Values Mikolaj Boja´ nczyk and Thomas Place? University of Warsaw Abstract. We define a variant of first-order logic that deals with data

      Add to Reading List

      Source URL: www.mimuw.edu.pl

      Language: English - Date: 2015-05-11 06:12:42
        24

        Bounds in ω-regularity Mikołaj Boja´nczyk Warsaw University and LIAFA, Paris Abstract

        Add to Reading List

        Source URL: www.mimuw.edu.pl

        Language: English - Date: 2015-05-11 06:13:18
          25

          Shuffle expressions and words with nested data Henrik Bj¨orklund1 Mikolaj Boja´ nczyk2 1 University of Dortmund

          Add to Reading List

          Source URL: www.mimuw.edu.pl

          Language: English - Date: 2015-05-11 06:13:53
            26

            Algebra for Infinite Forests with an Application to the Temporal Logic EF? Mikolaj Boja´ nczyk and Tomasz Idziaszek University of Warsaw, Poland {bojan,idziaszek}@mimuw.edu.pl

            Add to Reading List

            Source URL: www.mimuw.edu.pl

            Language: English - Date: 2015-05-11 06:11:18
              27

              Weak MSO+U with Path Quantifiers over Infinite Trees Mikolaj Boja´ nczyk? arXiv:1404.7278v1 [cs.LO] 29 Apr 2014

              Add to Reading List

              Source URL: www.mimuw.edu.pl

              Language: English - Date: 2015-05-11 06:13:45
                28

                Bounded depth data trees Henrik Bj¨orklund?1 Mikolaj Boja´ nczyk2?? 1 University of Dortmund

                Add to Reading List

                Source URL: www.mimuw.edu.pl

                Language: English - Date: 2015-05-11 06:12:01
                  29

                  Imperative Programming in Sets with Atoms∗ Mikołaj Bojańczyk and Szymon Toruńczyk University of Warsaw, Warsaw, Poland Abstract We define an imperative programming language, which extends while programs with a type

                  Add to Reading List

                  Source URL: www.mimuw.edu.pl

                  Language: English - Date: 2015-05-11 06:11:45
                    30

                    A machine-independent characterization of timed languages Mikolaj Boja´ nczyk and Slawomir Lasota Institute of Informatics, University of Warsaw

                    Add to Reading List

                    Source URL: www.mimuw.edu.pl

                    Language: English - Date: 2015-05-11 06:12:19
                      UPDATE