Soundness

Results: 384



#Item
1Measure theory / FO / Finite model theory / Ergodic theory / Mathematics / Logic / Mathematical logic / Lie algebras / Hopf decomposition / Pattern language

Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca

Add to Reading List

Source URL: forsyte.at

Language: English - Date: 2018-06-26 03:55:02
2Mathematical logic / Mathematics / Logic / Logic in computer science / Proof assistants / Model theory / Proof theory / Foundations of mathematics / ZermeloFraenkel set theory / HOL / Gdel's completeness theorem / Gdel's incompleteness theorems

Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Self-Formalisation of Higher-Order Logic Semantics, Soundness, and a Verified Implementation Ramana Kumar · Rob Arthan ·

Add to Reading List

Source URL: cakeml.org

Language: English - Date: 2015-12-16 14:53:21
3Software engineering / Computing / Type theory / Computer programming / Object-oriented programming / Data types / Polymorphism / Functional programming / Subtyping / Covariance and contravariance / Natural deduction / Bottom type

Type Soundness for Dependent Object Types (DOT) * Complete We sis

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2016-10-14 07:11:23
4Mathematical logic / Metalogic / Logic / Model theory / Logic in computer science / Proof theory / Proof assistants / Programming language semantics / HOL / Operational semantics / Gdel's completeness theorem / Type theory

HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1

Add to Reading List

Source URL: cakeml.org

Language: English - Date: 2014-04-20 08:49:44
5Computing / Software engineering / Computer programming / Type theory / Data types / Functional languages / Subroutines / Scala / Recursive data type / Recursion / Type system

Type Soundness for DOT (Dependent Object Types) Tiark Rompf Nada Amin

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2016-11-19 05:24:33
6

Credit Risk Policy [Basic Principle] Hitachi Capital, as the group that grants credit to customers, manages individual credits and credit portfolio management in an appropriate manner in order to strengthen soundness of

Add to Reading List

Source URL: www.hitachi-capital.co.jp

- Date: 2016-02-29 02:36:44
    7

    Linearity testing with entangled provers Thomas Vidick (Based on joint work with T. Ito) We first recall the definition of the linearity test, and give a brief proof of its soundness for the case of classical players, in

    Add to Reading List

    Source URL: users.cms.caltech.edu

    Language: English - Date: 2017-07-09 12:51:59
      8

      Senior Thesis in Mathematics Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability

      Add to Reading List

      Source URL: www.cs.pomona.edu

      Language: English - Date: 2018-05-11 18:24:09
        9

        April 27, 2018 Daiwa Securities Group Inc. Report Regarding Situation of Soundness in Management as of December 31, 2017

        Add to Reading List

        Source URL: www.daiwa-grp.jp

        Language: English - Date: 2018-04-27 02:01:53
          10

          public and will result in a gain or benefit to the public, that the proposed activity will not materially adversely affect the safety and soundness of the Regulated Institution, and that the Request is in conformance w

          Add to Reading List

          Source URL: www.dbr.state.ri.us

          Language: English - Date: 2016-10-14 12:51:00
            UPDATE