Logic

Results: 27485



#Item
471

Functional Logic Overloading Matthias Neubauer Peter Thiemann Universitat ¨ Freiburg

Add to Reading List

Source URL: www.deinprogramm.de

- Date: 2003-04-09 07:33:06
    472

    Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog

    Add to Reading List

    Source URL: www.sci.brooklyn.cuny.edu

    - Date: 2011-02-23 16:01:36
      473

      Logic and Proof -- 3rd supervision Verify this equivalence using BDDs ¬( P Q) == ¬ P ¬ Q Do Exercise 43 in the lecture notes Previous exam questions 2007 Paper 5 Question 9

      Add to Reading List

      Source URL: www.cl.cam.ac.uk

      - Date: 2008-11-12 09:12:05
        474

        arXiv:1402.2600v1 [math.LO] 11 FebScheme representation for first-order logic Spencer Breiner Carnegie Mellon University

        Add to Reading List

        Source URL: www.andrew.cmu.edu

        - Date: 2018-02-12 22:13:01
          475

          A Ground Joinability Criterion for Ordered Completion Sarah Winkler Computational Logic Group @ University of Innsbruck 6th International Workshop on Confluence, Oxford September 8, 2017

          Add to Reading List

          Source URL: cl-informatik.uibk.ac.at

          - Date: 2017-09-12 04:41:19
            476

            A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic CONCUR 2017, Berlin, Germany Ki Yung Ahn, Ross Horne and Alwen Tiu School of Computer Science and Engineering, Nanyang Technological University,

            Add to Reading List

            Source URL: www.ntu.edu.sg

            - Date: 2017-09-05 03:25:12
              477

              A Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic MIKE DODDS, University of York, UK SURESH JAGANNATHAN, Purdue University, Indiana MATTHEW J. PARKINSON, Microsoft Research, UK

              Add to Reading List

              Source URL: www.kasv.dk

              - Date: 2016-10-22 09:38:23
                478

                To appear in Procedia Computer ScienceComputational Social Choice: Prospects and Challenges1 Ulle Endriss Institute for Logic, Language and Computation (ILLC), University of Amsterdam Postbus 94242, 1090 GE Amst

                Add to Reading List

                Source URL: staff.fnwi.uva.nl

                - Date: 2012-01-09 07:02:24
                  479

                  Logic Pro X 10.3 – David Nahmani

                  Add to Reading List

                  Source URL: www.smartbooks.de

                  - Date: 2017-12-05 04:04:30
                    480

                    Is Logic a Normative Discipline? John MacFarlane June 14, 2017 Conference on the Normativity of Logic University of Bergen Please do not cite or circulate without permission

                    Add to Reading List

                    Source URL: johnmacfarlane.net

                    - Date: 2018-03-07 20:57:24
                      UPDATE