Nancy

Results: 10231



#Item
1Theoretical computer science / Formal methods / Mathematical logic / Logic in computer science / Mathematics / Constraint programming / Automated theorem proving / Satisfiability modulo theories / Formal verification / Type theory / First-order logic / Vampire

Making Automatic Theorem Provers more Versatile Simon Cruanes Veridis, Inria Nancy https://cedeela.fr/~simon/ August 2017

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-08-08 03:28:32
2Zen / Buddhism / Indian religions / San Francisco Zen Center / Zen centers / Soto Zen / Green Gulch Farm Zen Center / Reb Anderson / Japanese Zen

To: Eijun Linda Ruth Cutts, Central Abbess Rinso Ed Sattizhan, Abiding Abbott, City Center Furyu Nancy Schroeder, Abiding Abbess, Green Gulch Farm Abbots Executive Group of Zen Center October 3, 2018.

Add to Reading List

Source URL: www.peacefulseasangha.com

Language: English - Date: 2018-10-06 14:10:54
3Mathematical logic / Logic / Mathematics / Predicate logic / Computability theory / Models of computation / First-order logic / Lambda calculus / Term / Quantifier / Natural deduction / CurryHoward correspondence

Scalable Fine-Grained Proofs for Formula Processing Haniel Barbosa1,2(B) , Jasmin Christian Blanchette3,1,4 , and Pascal Fontaine1 1 Université de Lorraine, CNRS, Inria, LORIA, Nancy, France

Add to Reading List

Source URL: pxtp.github.io

Language: English - Date: 2017-09-19 19:50:55
4Geometry / Mathematics / Space / Analytic number theory / Elliptic curve / Group theory / Curve

A New Family of Pairing-Friendly Elliptic Curves Michael Scott and Aurore Guillevic MIRACL.com Université de Lorraine, CNRS, Inria, LORIA, Nancy, France WAIFI 2018, Bergen, Norway, June 14–16

Add to Reading List

Source URL: caramba.inria.fr

Language: English - Date: 2018-10-18 08:05:03
5Constructible universe

Integrating a SAT Solver with Isabelle/HOL Tjark Weber (joint work with Alwen Tiu et al.) First Munich-Nancy Workshop on

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2006-03-05 21:15:02
    6Models of computation / Intel / Scientific modelling / Dash / Transition system / Epistemology / Philosophy of science / Writing

    DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress (*) Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen

    Add to Reading List

    Source URL: alloytools.org

    Language: English - Date: 2018-06-13 06:07:43
    7Theoretical computer science / Software engineering / Mathematical software / Formal methods / Logic in computer science / Proof assistants / Automated theorem proving / Automated reasoning / Satisfiability modulo theories / E theorem prover / ACL2 / Isabelle

    Making Automatic Theorem Provers more Versatile Simon Cruanes University of Lorraine, CNRS, Inria, LORIA, 54000 Nancy, France Abstract We argue that automatic theorem provers should become more versatile and should be ab

    Add to Reading List

    Source URL: www.cs.man.ac.uk

    Language: English - Date: 2017-08-01 10:52:10
    8

    PDF Document

    Add to Reading List

    Source URL: www.nancy.archi.fr

    - Date: 2018-05-02 08:35:15
      9

      PDF Document

      Add to Reading List

      Source URL: www.nancy.archi.fr

      - Date: 2018-05-02 08:35:33
        10

        PDF Document

        Add to Reading List

        Source URL: www.nancy.archi.fr

        - Date: 2018-06-04 03:37:35
          UPDATE