Dagstuhl

Results: 486



#Item
41

PDF Document

Add to Reading List

Source URL: drops.dagstuhl.de

- Date: 2013-12-09 06:51:00
    42

    Extending Two-Variable Logic on Trees∗† Bartosz Bednarczyk1 , Witold Charatonik2 , and Emanuel Kieroński3 1 University of Wrocław, Wrocław, Poland

    Add to Reading List

    Source URL: drops.dagstuhl.de

    Language: English - Date: 2017-08-14 08:48:29
      43

      Preferences, Invariances, Optimization Ilya Loshchilov, Marc Schoenauer, Michèle Sebag TAO, CNRS − INRIA − Université Paris-Sud Dagstuhl, March 2014

      Add to Reading List

      Source URL: www.lri.fr

      Language: English - Date: 2014-03-10 10:00:53
        44

        Why Liveness for Timed Automata Is Hard, and What We Can Do About It∗ Frédéric Herbreteau1 , B. Srivathsan2 , Thanh-Tung Tran3 , and Igor Walukiewicz4 1 2

        Add to Reading List

        Source URL: drops.dagstuhl.de

        Language: English - Date: 2016-12-08 09:49:05
          45

          Report from Dagstuhl SeminarFederated Semantic Data Management Edited by Olaf Hartig1 , Maria-Esther Vidal2 , and Johann-Christoph Freytag3

          Add to Reading List

          Source URL: drops.dagstuhl.de

          Language: English - Date: 2017-12-21 08:27:20
            46

            Symposium on Theoretical Aspects of Computer ScienceBordeaux), ppwww.stacs-conf.org STRUCTURAL ASPECTS OF TILINGS ALEXIS BALLIER, BRUNO DURAND, AND EMMANUEL JEANDEL Laboratoire d’informatique fondamental

            Add to Reading List

            Source URL: drops.dagstuhl.de

            Language: English - Date: 2008-02-05 05:12:37
              47

              Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages Thomas Place∗ , Lorijn van Rooijen∗ , and Marc Zeitoun∗ LaBRI, Bordeaux University, France, Abs

              Add to Reading List

              Source URL: drops.dagstuhl.de

              Language: English - Date: 2013-12-09 06:51:00
                48

                Retreading Dictionaries for the 21st Century Xavier Gómez Guinovart1 and Alberto Simões2 1 2

                Add to Reading List

                Source URL: drops.dagstuhl.de

                Language: English - Date: 2013-06-04 09:14:29
                  49

                  A Linear-Time Algorithm for the Copy Number Transformation Problem Ron Shamir1 , Meirav Zehavi1 , and Ron Zeira1 1 2 3

                  Add to Reading List

                  Source URL: drops.dagstuhl.de

                  Language: English - Date: 2016-06-24 09:43:15
                    50

                    Modal Logics Definable by Universal Three-Variable Formulas Emanuel Kieroński∗ , Jakub Michaliszyn∗ , and Jan Otop Institute of Computer Science University of Wrocław {kiero,jmi,jotop}@cs.uni.wroc.pl

                    Add to Reading List

                    Source URL: drops.dagstuhl.de

                    Language: English - Date: 2011-12-01 09:29:51
                      UPDATE