Decidability

Results: 108



#Item
21On the Decidability of Conversion in Type Theory Andreas Abel, Thierry Coquand, and Bassel Mannaa Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden {andreas.abel,thierry.coquand

On the Decidability of Conversion in Type Theory Andreas Abel, Thierry Coquand, and Bassel Mannaa Department of Computer Science and Engineering, University of Gothenburg, Gothenburg, Sweden {andreas.abel,thierry.coquand

Add to Reading List

Source URL: www2.tcs.ifi.lmu.de

Language: English - Date: 2016-05-17 15:07:26
    22Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka

    Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka

    Add to Reading List

    Source URL: www.ps.uni-saarland.de

    Language: English - Date: 2014-12-08 05:58:49
      23Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks Department of Computer Science, University of Manchester, UK

      Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks Department of Computer Science, University of Manchester, UK

      Add to Reading List

      Source URL: www.cs.man.ac.uk

      Language: English - Date: 2007-07-26 07:51:47
        24Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks and Ulrike Sattler Computer Science Department, University of Manchester, UK Extending SHIQ with expressive means for

        Decidability of SHIQ with Complex Role Inclusion Axioms Ian Horrocks and Ulrike Sattler Computer Science Department, University of Manchester, UK Extending SHIQ with expressive means for

        Add to Reading List

        Source URL: www.cs.man.ac.uk

        Language: English - Date: 2003-08-08 12:44:57
          25Completeness and Decidability Results for CTL in Coq Christian Doczkal Gert Smolka

          Completeness and Decidability Results for CTL in Coq Christian Doczkal Gert Smolka

          Add to Reading List

          Source URL: www.ps.uni-saarland.de

          Language: English - Date: 2015-06-17 11:47:27
            26Completeness and Decidability Results for CTL in Constructive Type Theory Christian Doczkal Gert Smolka

            Completeness and Decidability Results for CTL in Constructive Type Theory Christian Doczkal Gert Smolka

            Add to Reading List

            Source URL: www.ps.uni-saarland.de

            Language: English - Date: 2016-03-03 08:31:10
              27Introduction Undecidability Results Decidability Results

              Introduction Undecidability Results Decidability Results

              Add to Reading List

              Source URL: pages.cs.wisc.edu

              Language: English - Date: 2009-11-22 22:04:57
                28Unlimited decidability of distributed synthesis with limited missing knowledge? Anca Muscholl1 and Sven Schewe2 1 LaBRI, CNRS, Universiy of Bordeaux, France

                Unlimited decidability of distributed synthesis with limited missing knowledge? Anca Muscholl1 and Sven Schewe2 1 LaBRI, CNRS, Universiy of Bordeaux, France

                Add to Reading List

                Source URL: www.labri.fr

                Language: English - Date: 2015-10-15 03:21:51
                  29Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka

                  Completeness and Decidability of de Bruijn Substitution Algebra in Coq Steven Sch¨afer Gert Smolka

                  Add to Reading List

                  Source URL: www.ps.uni-saarland.de

                  Language: English - Date: 2014-12-08 05:58:49
                    30Decidability 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