Logic

Results: 27485



#Item
731

Microsoft Word - Fuzzy_Logic_and_GIS.doc

Add to Reading List

Source URL: homepage.univie.ac.at

- Date: 2008-10-27 04:40:21
    732

    From Treebank Parses to Episodic Logic and Commonsense Inference Lenhart Schubert Univ. of Rochester 1. Introduction and overview

    Add to Reading List

    Source URL: www.aclweb.org

    - Date: 2014-06-16 05:48:47
      733

      WFLPImplementing Relational Specifications in a Constraint Functional Logic Language Rudolf Berghammer and Sebastian Fischer1 Institut f¨

      Add to Reading List

      Source URL: www-ps.informatik.uni-kiel.de

      - Date: 2014-06-15 10:44:31
        734

        LOGIC FOR GRAY-CODE COMPUTATION ULRICH BERGER AND KENJI MIYAMOTO AND HELMUT SCHWICHTENBERG AND HIDEKI TSUIKI Abstract. Gray-code is a well-known binary number system where neighboring values differ in one digit only. Tsu

        Add to Reading List

        Source URL: www.math.lmu.de

        - Date: 2015-09-28 04:29:31
          735

          Stratified Bounded Affine Logic for Logarithmic Space (Draft) Ulrich Sch¨opp April 20, 2007 Abstract

          Add to Reading List

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

          - Date: 2007-04-20 12:18:06
            736

            page.1 Categorical Semantics for an Intuitionistic Temporal Logic Wolfgang Jeltsch TTÜ Küberneetika Instituut

            Add to Reading List

            Source URL: www.ioc.ee

            - Date: 2014-09-30 06:56:38
              737

              An Introduction to Category Theory and Categorical Logic Wolfgang Jeltsch

              Add to Reading List

              Source URL: cs.ioc.ee

              - Date: 2012-05-12 14:36:10
                738

                Efficient Bijective Gödel Numberings for Term Algebras Paul Tarau1 1 Department of Computer Science and Engineering

                Add to Reading List

                Source URL: logic.cse.unt.edu

                - Date: 2010-05-18 10:11:53
                  739

                  Draft of paper to appear at LICSExpressive Completeness of Separation Logic With Two Variables and No Separating Conjunction ∗ Stéphane Demri

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  - Date: 2014-07-22 07:58:02
                    740

                    Correspondence and Canonicity in Non-Classical Logic Sumit Sourabh INSTITUTE FOR LOGIC LANGUAGE AND COMPUTATION Correspondence and Canonicity

                    Add to Reading List

                    Source URL: www.illc.uva.nl

                    - Date: 2015-10-29 12:05:22
                      UPDATE