Decidability

Results: 108



#Item
41Decidability 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
    42Decidability of invariant validation for paramaterized systems ⋆ Pascal Fontaine and E. Pascal Gribomont University of Li`ege (Belgium) {pfontain,gribomont}@montefiore.ulg.ac.be

    Decidability of invariant validation for paramaterized systems ⋆ Pascal Fontaine and E. Pascal Gribomont University of Li`ege (Belgium) {pfontain,gribomont}@montefiore.ulg.ac.be

    Add to Reading List

    Source URL: www.montefiore.ulg.ac.be

    Language: English - Date: 2008-01-31 12:13:41
      43A Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains M. BISCAIA, Instituto de Telecomunicac¸o˜ es, Universidade de Lisboa D. HENRIQUES, Institut

      A Decidability of Approximate Skolem Problem and Applications to Logical Verification of Dynamical Properties of Markov Chains M. BISCAIA, Instituto de Telecomunicac¸o˜ es, Universidade de Lisboa D. HENRIQUES, Institut

      Add to Reading List

      Source URL: tocl.acm.org

      Language: English
        44The Ordering of the Natural Numbers with a Unary Predicate: Approaches to Show Decidability Results Wolfgang Thomas RWTH Aachen University

        The Ordering of the Natural Numbers with a Unary Predicate: Approaches to Show Decidability Results Wolfgang Thomas RWTH Aachen University

        Add to Reading List

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

        Language: English - Date: 2012-05-29 10:56:29
          45On the Expressiveness and Decidability of Higher-Order Process Calculi I,II Ivan Lanesea , Jorge A. P´erezb , Davide Sangiorgia,∗, Alan Schmittc b CITI a Focus Team, Universit`

          On the Expressiveness and Decidability of Higher-Order Process Calculi I,II Ivan Lanesea , Jorge A. P´erezb , Davide Sangiorgia,∗, Alan Schmittc b CITI a Focus Team, Universit`

          Add to Reading List

          Source URL: www.irisa.fr

          Language: English - Date: 2011-10-19 09:27:06
            46On the decidability of priced timed games T. Brihaye1 , G. Geeraerts2 , S. Krishna3 , L. Manasa3 and A. Trivedi3 1 Universit´ e de Mons – Belgium Universit´ e Libre de Bruxelles – Belgium

            On the decidability of priced timed games T. Brihaye1 , G. Geeraerts2 , S. Krishna3 , L. Manasa3 and A. Trivedi3 1 Universit´ e de Mons – Belgium Universit´ e Libre de Bruxelles – Belgium

            Add to Reading List

            Source URL: highlights-conference.org

            Language: English - Date: 2013-09-18 06:35:56
              47Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics Silvio Ghilardi1 and Luigi Santocanale2? 1 2

              Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics Silvio Ghilardi1 and Luigi Santocanale2? 1 2

              Add to Reading List

              Source URL: users.mat.unimi.it

              Language: English - Date: 2012-08-28 17:16:04
                48A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Franz Baader,1? Silvio Ghilardi,2 and Cesare Tinelli3 1

                A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics Franz Baader,1? Silvio Ghilardi,2 and Cesare Tinelli3 1

                Add to Reading List

                Source URL: users.mat.unimi.it

                Language: English - Date: 2012-08-28 17:06:28
                  49Expressive Power and Decidability for Memory Logics Carlos Areces∗ Diego Figueira†

                  Expressive Power and Decidability for Memory Logics Carlos Areces∗ Diego Figueira†

                  Add to Reading List

                  Source URL: www.glyc.dc.uba.ar

                  Language: English - Date: 2009-01-28 16:13:50
                    50BRICS Basic Research in Computer Science BRICS DS-03-3 J. Srba: Decidability and Complexity Issues for Infinite-State Processes

                    BRICS Basic Research in Computer Science BRICS DS-03-3 J. Srba: Decidability and Complexity Issues for Infinite-State Processes

                    Add to Reading List

                    Source URL: www.brics.dk

                    - Date: 2004-03-29 03:17:00