Axiomatic

Results: 189



#Item
41

An Axiomatic Basis for Communication M. Karsten1, S. Keshav1, S. Prasad2, M. Beg1 David R. Cheriton School of Computer Science, University of Waterloo 2 Department of Computer Science and Engineering, IIT Delhi

Add to Reading List

Source URL: www.soi.wide.ad.jp

Language: English - Date: 2007-08-30 03:43:22
    42

    Á( M ((!Mp) ¶ MqThe Axiomatic Translation of Modal Logic [1]: *DRAFT* @K.J.Smith, 2008. http://www.KJSmith.net This entire section is based upon, but heavily modified from, the text of [1]. The material has bee

    Add to Reading List

    Source URL: project.kjsmith.net

    Language: English - Date: 2008-06-24 06:42:23
      43

      ∗ Axiomatic Ranking of Network Role Similarity Ruoming Jin Victor E. Lee

      Add to Reading List

      Source URL: arxiv.org

      Language: English - Date: 2011-06-13 04:48:21
        44

        Will Boney* (). Up and Out: Frames and tameness in Abstract Elementary Classes. Frames are an axiomatic independence notion in a single cardinal for Abstract Elementary Classes developed by S

        Add to Reading List

        Source URL: jointmathematicsmeetings.org

        - Date: 2014-09-16 01:55:48
          45

          Axiomatic and Tableau-Based Reasoning for Kt(H,R) Renate A. Schmidt 1 School of Computer Science University of Manchester, Manchester, UK

          Add to Reading List

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

          Language: English - Date: 2014-06-09 09:28:03
            46

            Chapter 3 THE REAL NUMBERS In this chapter we present in some detail many of the important properties of the set R of real numbers. Our approach will be axiomatic, but not constructive. That

            Add to Reading List

            Source URL: www.matthew-hoelle.com

            Language: English - Date: 2016-02-18 17:07:27
              47

              6: Implementation of SPASS with Axiomatic Translation of Modal Logic. SYMBOL eml_GetVar(int Index) ***DRAFT*** @K.J.Smith, 2008. http://www.KJSmith.net

              Add to Reading List

              Source URL: project.kjsmith.net

              Language: English - Date: 2008-06-19 07:43:39
                48

                2. The Axiomatic Translation of Modal Logic [1]. This entire section is based upon, but heavily modified from, the text of [1]. The material has been re-ordered to better follow a narrative description, and many derivati

                Add to Reading List

                Source URL: project.kjsmith.net

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

                  9. References. 1. The Axiomatic Translation Principle for Modal LogicSchmidt, R. and Hustadt, U. Transactions on Computational Logic, C Programming: A Modern ApproachKing, K. Norton & Co. 3. Ja

                  Add to Reading List

                  Source URL: project.kjsmith.net

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

                    The Axiomatic Translation of Modal Logics. Dr. K. John Smith Dr. Renate S. Schmidt (supervisor). Based on work described in Schmidt, R. A. and Hustadt, UThe Axiomatic Translation Principle for Modal

                    Add to Reading List

                    Source URL: project.kjsmith.net

                    Language: English - Date: 2008-03-24 11:50:59
                      UPDATE