Axiomatic

Results: 189



#Item
51

An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory Marcelo P. Fiore? and Gordon D. Plotkin?? Department of Computer Science Laboratory for Foundations of Computer Science University of

Add to Reading List

Source URL: www.margaretmorgan.com

Language: English - Date: 2002-02-04 19:21:36
    52

    An Axiomatic Memory Model for POWER Multiprocessors Sela Mador-Haim1 Luc Maranget2 Susmit Sarkar3 Kayvan Memarian3 Jade Alglave4 Scott Owens3 Rajeev Alur1 Milo M.K. Martin1 Peter Sewell3 Derek Williams5 1

    Add to Reading List

    Source URL: www0.cs.ucl.ac.uk

    Language: English - Date: 2012-04-30 12:09:43
      53

      The Axiomatic Translation of Modal Logic into First Order Logic A dissertation submitted to The University of Manchester for the degree of Master of Science in the Faculty of Engineering and Physical Sciences

      Add to Reading List

      Source URL: project.kjsmith.net

      Language: English - Date: 2008-09-04 06:08:35
        54

        ***DRAFT*** @K.J.Smith, 2008. http://www.KJSmith.net Figure 7.1: Typical .dfg template input file for testing axiomatic translation, for the problem bp,ddnp,g.dfg (¶(¶(M(r,p),N(r,N(r,!p))),¶(N(r,N(r,N(r,N(r,N(r,N(r,q1

        Add to Reading List

        Source URL: project.kjsmith.net

        Language: English - Date: 2008-07-28 03:57:10
          55

          Figure 7.1 Typical .dfg template input file for testing axiomatic translation for the problem bp,ddnp,g.dfg (¶(¶(M(r,p),N(r,N(r,!p))),¶(N(r,N(r,N(r,N(r,N(r,N(r,q1)))))),N(r,N(r,N(r,N(r,N(r,N(r,q2Note in par

          Add to Reading List

          Source URL: project.kjsmith.net

          Language: English - Date: 2008-09-02 15:24:26
            56

            DRAFT: Please do not distribute without permission. Thanks! A New Axiomatic Semantics for Semantic Web Languages Christopher Menzel and (eventually!) Patrick Hayes

            Add to Reading List

            Source URL: philebus.tamu.edu

            Language: English - Date: 2009-08-07 09:30:38
              57

              8. Discussion. This section first considers aspects of the extended-SPASS software that has been developed for this project. Then some features of the axiomatic translation that have not previously been considered are in

              Add to Reading List

              Source URL: project.kjsmith.net

              Language: English - Date: 2008-09-04 06:08:35
                58

                1. Introduction. 1.1 Aims of the project. The axiomatic translation [1] is a method for converting propositional modal logic into first-order logic, which can then be solved with standard first-order logic theorem prover

                Add to Reading List

                Source URL: project.kjsmith.net

                Language: English - Date: 2008-09-02 15:19:21
                  59

                  An Axiomatic Approach to Algebrization Russell Impagliazzo∗ Valentine Kabanets† Antonina Kolokolova‡

                  Add to Reading List

                  Source URL: cseweb.ucsd.edu

                  Language: English - Date: 2009-05-22 16:56:57
                    UPDATE