Logic

Results: 27485



#Item
621

Foundational proof certificates in first-order logic Zakaria Chihani, Dale Miller, and Fabien Renaud INRIA and LIX, Ecole Polytechnique, Palaiseau, France Abstract. It is the exception that provers share and trust each o

Add to Reading List

Source URL: www.lix.polytechnique.fr

- Date: 2013-05-22 10:58:51
    622

    Using Rewriting-Logic Notation for Funcional Verification in Data-Stream Based Reconfigurable Computing Reiner W. Hartenstein1, Ricardo P. Jacobi2 1 Fachbereich Informatik Kaiserslautern University of Technology

    Add to Reading List

    Source URL: www.mat.unb.br

    - Date: 2004-07-19 17:54:10
      623

      The ContractLog Approach Towards Test-driven Verification and Validation of Rule Bases - A Homogeneous Integration of Test Cases and Integrity Constraints into Evolving Logic Programs and Rule Markup Languages (RuleML)

      Add to Reading List

      Source URL: rbsla.ruleml.org

      - Date: 2013-12-20 11:58:09
        624

        Intuitionistic Temporal Logic from Reactive Programming Wolfgang Jeltsch Institute of Cybernetics at Tallinn University of Technology Estonian–Finnish Logic Meeting Rakvere, Estonia

        Add to Reading List

        Source URL: www.ioc.ee

        - Date: 2015-11-12 18:20:43
          625

          Logic and programming The Temporal Curry–Howard Correspondence Conclusions and outlook

          Add to Reading List

          Source URL: www.ioc.ee

          - Date: 2012-04-24 14:51:31
            626

            Deductive Verification Mooly Sagiv Slides from Zvonimir Rakamaric First-Order Logic

            Add to Reading List

            Source URL: www.cs.tau.ac.il

            - Date: 2015-04-21 07:47:33
              627

              TOWARDS PLANNING AS CONCURRENCY Ozan Kahramano˘gulları Computer Science Institute, University of Leipzig International Center for Computational Logic, TU Dresden email: ABSTRACT

              Add to Reading List

              Source URL: www.wv.inf.tu-dresden.de

              - Date: 2012-07-05 04:11:43
                628

                Downloaded from orbit.dtu.dk on: Dec 16, 2016 Formalization of the Resolution Calculus for First-Order Logic Schlichtkrull, Anders Published in:

                Add to Reading List

                Source URL: orbit.dtu.dk

                - Date: 2016-09-29 07:15:35
                  629

                  Doc No: N2136=Bool_set: multi-valued logic (revision 1) Hervé Brönnimann∗ Guillaume Melquiond†

                  Add to Reading List

                  Source URL: www.open-std.org

                  - Date: 2006-11-01 01:59:04
                    630

                    Description of the project Feasibility, Logic and Randomness  (FEALORA) This   project   was   proposed   as   an   Advanced   Grant   of   the   European   Research   Council.   The   panel  recom

                    Add to Reading List

                    Source URL: users.math.cas.cz

                    - Date: 2013-09-04 06:06:20
                      UPDATE