Decidability

Results: 108



#Item
31Decidability of bisimulation on normed commutative context-free processes with silent moves? Wojciech Czerwi´ nski1 , Piotr Hofman2 , and Slawomir Lasota2 1

Decidability of bisimulation on normed commutative context-free processes with silent moves? Wojciech Czerwi´ nski1 , Piotr Hofman2 , and Slawomir Lasota2 1

Add to Reading List

Source URL: www.mimuw.edu.pl

Language: English - Date: 2013-07-21 15:15:47
    32On the decidability of MSO+U on infinite trees Mikolaj Boja´ nczyk1 , Tomasz Gogacz2 , Henryk Michalewski1 and Michal Skrzypczak1? . 1 2

    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
      33Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity Amir M. Ben-Amram The Academic College of Tel-Aviv Yaffo STACS 2013

      Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity Amir M. Ben-Amram The Academic College of Tel-Aviv Yaffo STACS 2013

      Add to Reading List

      Source URL: www2.mta.ac.il

      Language: English - Date: 2013-04-03 08:26:00
        34Decidability of Weak Simulation on One-counter Nets∗ Piotr Hofman1 , Richard Mayr2 , and Patrick Totzke2 1 University of Warsaw, Poland University of Edinburgh, UK

        Decidability of Weak Simulation on One-counter Nets∗ Piotr Hofman1 , Richard Mayr2 , and Patrick Totzke2 1 University of Warsaw, Poland University of Edinburgh, UK

        Add to Reading List

        Source URL: arxiv.org

        Language: English - Date: 2013-04-15 23:48:50
          35Decidability of Weak Simulation on One-Counter Nets Piotr Hofman1 Richard Mayr2

          Decidability of Weak Simulation on One-Counter Nets Piotr Hofman1 Richard Mayr2

          Add to Reading List

          Source URL: www.dcs.warwick.ac.uk

          Language: English - Date: 2015-10-21 13:33:08
            36Decidability and combination results for two notions of knowledge in security protocols ∗ V´eronique Cortier () LORIA, CNRS & INRIA St´ephanie Delaune† ()

            Decidability and combination results for two notions of knowledge in security protocols ∗ V´eronique Cortier () LORIA, CNRS & INRIA St´ephanie Delaune† ()

            Add to Reading List

            Source URL: www.lsv.ens-cachan.fr

            Language: English - Date: 2011-08-02 11:02:31
              37preprint. To appear in Computability (IOS Press) Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity Amir M. Ben-Amram November 26, 2014

              preprint. To appear in Computability (IOS Press) Mortality of Iterated Piecewise Affine Functions over the Integers: Decidability and Complexity Amir M. Ben-Amram November 26, 2014

              Add to Reading List

              Source URL: www2.mta.ac.il

              Language: English - Date: 2014-11-26 10:17:43
                38On the Decidability of the Reachability Problem for Planar Differential Inclusions ? E. Asarin ??

                On the Decidability of the Reachability Problem for Planar Differential Inclusions ? E. Asarin ??

                Add to Reading List

                Source URL: www.liafa.jussieu.fr

                Language: English - Date: 2003-09-04 08:34:46
                  39Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures? 1 2

                  Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures? 1 2

                  Add to Reading List

                  Source URL: www.loria.fr

                  Language: English - Date: 2006-05-29 12:00:35
                    40Hybrid Logics: The Search for Decidability and Tractability Frontiers Moshe Y. Vardi Rice University

                    Hybrid Logics: The Search for Decidability and Tractability Frontiers Moshe Y. Vardi Rice University

                    Add to Reading List

                    Source URL: hylocore.ruc.dk

                    Language: English - Date: 2013-05-29 03:25:23