Logic

Results: 27485



#Item
231

Verifying Read-Copy-Update in a Logic for Weak Memory Joseph Tassarotti Derek Dreyer Viktor Vafeiadis

Add to Reading List

Source URL: people.mpi-sws.org

Language: English - Date: 2015-04-27 12:03:31
    232

    Version 3.0, Brief Remarks on Putnam and Realism in Mathematics* Charles Parsons Hilary Putnam has through much of his philosophical life meditated on the notion of realism, what it is, what form of realism is

    Add to Reading List

    Source URL: logic.harvard.edu

    Language: English - Date: 2011-10-27 13:14:04
      233

      This form may be completed on-line or printed for hard-copy use. LOGIC AREA ACCESS/BOARD REPLACEMENT REPORT Operation Center Phone: , 8237, 5778, 5794 Pursuant to ARSD 48:02:10:09, it is necessary to submit this

      Add to Reading List

      Source URL: lottery.sd.gov

      Language: English - Date: 2018-01-04 12:58:02
        234

        Experiences Using an Interactive Presentation Platform in a Functional and Logic Programming Course

        Add to Reading List

        Source URL: www.pautasso.info

        Language: English - Date: 2018-01-31 07:50:00
          235

          Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by

          Add to Reading List

          Source URL: john.jperry.net

          Language: English - Date: 2017-10-22 23:32:37
            236

            Identifying Ibn S¯ın¯a’s hypothetical logic: II. Interpretations Wilfrid Hodges DRAFT 1 January

            Add to Reading List

            Source URL: wilfridhodges.co.uk

            Language: English - Date: 2018-03-07 17:51:00
              237

              c Copyright 1998–2013 by Stephen G. Simpson Mathematical Logic

              Add to Reading List

              Source URL: www.personal.psu.edu

              Language: English - Date: 2013-10-17 16:15:49
                238

                AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology

                Add to Reading List

                Source URL: itp2016.inria.fr

                Language: English - Date: 2016-08-30 03:42:56
                  239

                  Industrial Maintenance - Programmable Logic Controller, model

                  Add to Reading List

                  Source URL: www.labvolt.com

                  Language: English
                    240

                    The Geometry of Interaction as a Module System Ulrich Schöpp June 17, 2018 Abstract The Geometry of Interaction (goi) was originally introduced by Girard in the context of Linear Logic. Many of its recent applications c

                    Add to Reading List

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

                    Language: English - Date: 2018-06-17 16:52:52
                      UPDATE