Predicate logic

Results: 1102



#Item
1Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany  Abstract. In this paper, we present a predic

Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic

Add to Reading List

Source URL: pub.ist.ac.at

Language: English - Date: 2018-05-10 06:54:27
2J. Korean Math. Soc.  FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

J. Korean Math. Soc. FORMALIZING THE META-THEORY OF FIRST-ORDER PREDICATE LOGIC Hugo Herberlin, SunYoung Kim, and Gyesik Lee Abstract. This paper introduces a representation style of variable binding using dependent typ

Add to Reading List

Source URL: formal.hknu.ac.kr

Language: English - Date: 2018-03-08 05:11:17
    3STRICT PREDICATIVITY1 Charles Parsons The most basic notion of impredicativity applies to specifications or definitions of sets or classes. If a set b is specified as {x: A(x)} for some predicate A, then the specificatio

    STRICT PREDICATIVITY1 Charles Parsons The most basic notion of impredicativity applies to specifications or definitions of sets or classes. If a set b is specified as {x: A(x)} for some predicate A, then the specificatio

    Add to Reading List

    Source URL: logic.harvard.edu

    Language: English - Date: 2011-10-17 18:37:46
      4Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian Automata

      Automata Theory Approach to Predicate Intuitionistic Logic Maciej Zielenkiewicz and Aleksy Schubert Institute of Informatics, University of Warsaw, Warsaw, Poland [maciekz,alx]@mimuw.edu.pl 1. Arcadian Automata

      Add to Reading List

      Source URL: www.win.tue.nl

      - Date: 2017-06-27 17:17:14
        5Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

        Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science University of Karlsruhe, DKarlsruhe, Germany

        Add to Reading List

        Source URL: i12www.iti.kit.edu

        - Date: 2009-01-05 04:34:04
          6Unit Code: CM20019 - S1 (YearUnit Lecturer: Dr. P. Bruscoli Unit Tutors: T. Gundersen, J. Needham, M. Price Worksheet 2: Predicate Logic: Syntax, Semantics, Normal Forms)

          Unit Code: CM20019 - S1 (YearUnit Lecturer: Dr. P. Bruscoli Unit Tutors: T. Gundersen, J. Needham, M. Price Worksheet 2: Predicate Logic: Syntax, Semantics, Normal Forms)

          Add to Reading List

          Source URL: cs.bath.ac.uk

          - Date: 2012-01-04 16:05:10
            7On the proof theory of the existence predicate Matthias Baaz and Rosalie Iemhoff abstract. Keywords: Intuitionistic logic, existence predicate, exististence logics, Gentzen

            On the proof theory of the existence predicate Matthias Baaz and Rosalie Iemhoff abstract. Keywords: Intuitionistic logic, existence predicate, exististence logics, Gentzen

            Add to Reading List

            Source URL: www.phil.uu.nl

            - Date: 2008-12-12 07:16:16
              8Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

              Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation

              Add to Reading List

              Source URL: i12www.iti.kit.edu

              - Date: 2010-06-24 07:51:38
                9Microsoft Word - BlankPage

                Microsoft Word - BlankPage

                Add to Reading List

                Source URL: www.cs.miami.edu

                Language: English - Date: 2007-08-16 08:58:53
                10Contents Part One xvii xix  Conference Committee

                Contents Part One xvii xix Conference Committee

                Add to Reading List

                Source URL: www.icdip.org

                Language: English - Date: 2016-06-21 06:36:16