Completeness

Results: 1797



#Item
251

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
    252

    SIAM J. COMPUT. Vol. 7, No. 1, February 1978 SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION* STEPHEN A. COOKer

    Add to Reading List

    Source URL: www.cs.toronto.edu

    Language: English - Date: 2012-11-28 10:08:47
      253

      Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic Minghui Ma1 , Alessandra Palmigiano2 , and Mehrnoosh Sadrzadeh3 1 2

      Add to Reading List

      Source URL: www.appliedlogictudelft.nl

      Language: English - Date: 2014-05-03 04:30:14
        254

        Hong Kong Exchanges and Clearing Limited and The Stock Exchange of Hong Kong Limited take no responsibility for the contents of this announcement, make no representation as to its accuracy or completeness and expressly d

        Add to Reading List

        Source URL: www.chinatelecom-h.com

        Language: English - Date: 2016-04-08 05:25:21
          255

          Completeness of Continuation Models for lm-Calculus

          Add to Reading List

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

          Language: English - Date: 2015-05-05 07:45:45
            256

            Chapter 13 NP-Completeness

            Add to Reading List

            Source URL: ww3.algorithmdesign.net

            Language: English - Date: 2001-09-19 01:18:20
              257

              On stochastic completeness of symmetric jump processes Xueping Huang Universit¨at Bielefeld We discuss a volume growth type criterion for stochastic completeness of symmetric jump processes on metric measure spaces: if

              Add to Reading List

              Source URL: icsaa.iam.uni-bonn.de

              - Date: 2012-11-26 04:39:27
                258

                Hong Kong Exchanges and Clearing Limited and The Stock Exchange of Hong Kong Limited take no responsibility for the contents of this announcement, make no representation as to its accuracy or completeness and expressly d

                Add to Reading List

                Source URL: reg.hkbn.net

                Language: English - Date: 2016-03-31 05:07:52
                  259

                  Hong Kong Exchanges and Clearing Limited and The Stock Exchange of Hong Kong Limited take no responsibility for the contents of this announcement, make no representation as to its accuracy or completeness and expressly d

                  Add to Reading List

                  Source URL: www.ckh.com.hk

                  Language: English - Date: 2016-02-29 19:47:23
                    260

                    Hong Kong Exchanges and Clearing Limited and The Stock Exchange of Hong Kong Limited take no responsibility for the contents of this document, make no representation as to its accuracy or completeness and expressly discl

                    Add to Reading List

                    Source URL: www.ckh.com.hk

                    Language: English - Date: 2016-03-16 06:10:17
                      UPDATE