Logic

Results: 27485



#Item
211

Formal Verification of Integer Multipliers by Combining Gr¨obner Basis with Logic Reduction Amr Sayed-Ahmed1 Daniel Große1,2

Add to Reading List

Source URL: www.informatik.uni-bremen.de

Language: English - Date: 2015-11-27 04:27:46
    212

    A Fault-tolerant Algorithms for Tick-Generation in Asynchronous Logic: Robust Pulse Generation DANNY DOLEV, Hebrew University of Jerusalem, Israel

    Add to Reading List

    Source URL: people.mpi-inf.mpg.de

    Language: English - Date: 2015-05-29 10:12:09
      213

      Warming up Adaptive Logics – SS2015 – @RUB Christian Straßer Institute for Philosophy II, Ruhr-University Bochum, Germany Centre for Logic and Philosophy of Science

      Add to Reading List

      Source URL: homepage.ruhr-uni-bochum.de

      Language: English - Date: 2015-05-19 06:19:04
        214

        SECOND-ORDER LOGIC, OR: HOW I LEARNED TO STOP WORRYING AND LOVE THE INCOMPLETENESS THEOREMS ETHAN JERZAK Abstract. First-order logic enjoys a nearly universal status as the language in which mathematics is done—or at l

        Add to Reading List

        Source URL: www.math.uchicago.edu

        Language: English - Date: 2009-10-11 16:26:20
          215

          The 13th Asian Logic Conference Opposition Inferences and Generalized Quantifiers Ka-fat Chow Abstract Opposition inferences constitute an important type of immediate inferences

          Add to Reading List

          Source URL: chowkafat.net

          Language: English - Date: 2013-09-18 11:05:18
            216

            SIDRA Ph.D. School 2017 Formal Methods for the Control of Large-scale Networked Nonlinear Systems with Logic Specifications July 3-5, 2017 Coordinators:

            Add to Reading List

            Source URL: muwo1.unibo.it

            Language: English - Date: 2017-04-03 08:57:07
              217

              OMITTING TYPES IN LOGIC OF METRIC STRUCTURES ILIJAS FARAH AND MENACHEM MAGIDOR Abstract. This paper is about omitting types in logic of metric structures introduced by Ben Yaacov, Berenstein, Henson and Usvyatsov. While

              Add to Reading List

              Source URL: www.math.yorku.ca

              Language: English - Date: 2017-05-24 14:52:49
                218

                Special Issue on Combining Probability and Logic Introduction Fabio Cozman, Rolf Haenni, Jan-Willem Romeijn, Federica Russo, Gregory Wheeler and Jon Williamson Draft of November 6, 2007 This volume arose out of an intern

                Add to Reading List

                Source URL: www.philos.rug.nl

                Language: English - Date: 2007-11-07 03:25:12
                  219

                  Many-Valued Logic and Philosophy:58 AM:58 PM Matjaz Potrc Many-valued logic is positioned between the classical two-valued logic and between the trans-valued logic. Classical logical

                  Add to Reading List

                  Source URL: www2.arnes.si

                  Language: English - Date: 2009-01-27 10:03:49
                    220

                    (Bulk Tickets Logic) (RI Project)

                    Add to Reading List

                    Source URL: www.transparency.ri.gov

                    Language: English - Date: 2017-08-18 16:09:20
                      UPDATE