Jasmin

Results: 300



#Item
21

Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 12 December 2016

Add to Reading List

Source URL: isabelle.in.tum.de

- Date: 2016-12-12 09:14:24
    22

    More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1

    Add to Reading List

    Source URL: people.mpi-inf.mpg.de

    - Date: 2014-02-13 07:47:22
      23

      A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France

      Add to Reading List

      Source URL: people.mpi-inf.mpg.de

      - Date: 2016-12-19 05:45:29
        24

        An Isabelle Formalization of the Expressiveness of Deep Learning (Extended Abstract) Alexander Bentkamp1 , Jasmin Christian Blanchette23 , and Dietrich Klakow4 1

        Add to Reading List

        Source URL: people.mpi-inf.mpg.de

        - Date: 2016-11-29 05:17:21
          25

          A Lambda-Free Higher-Order Recursive Path Order Jasmin Christian Blanchette1,2,3 , Uwe Waldmann3 , and Daniel Wand3,4 1 Vrije Universiteit Amsterdam, the Netherlands Inria Nancy – Grand Est, Villers-lès-Nancy, France

          Add to Reading List

          Source URL: people.mpi-inf.mpg.de

          - Date: 2016-12-19 05:45:29
            26

            More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1

            Add to Reading List

            Source URL: people.mpi-inf.mpg.de

            - Date: 2015-05-21 05:57:46
              27

              Status of biomass with carbon capture and storage (BECCS/Bio-CCS) Jasmin Kemper IEA Greenhouse Gas R&D Programme Cheltenham, UK

              Add to Reading List

              Source URL: ieaghg.org

              - Date: 2016-06-29 07:14:26
                28

                Experience Report: The Next 1100 Haskell Programmers Jasmin Christian Blanchette Lars Hupel Tobias Nipkow

                Add to Reading List

                Source URL: people.mpi-inf.mpg.de

                - Date: 2015-01-25 16:18:54
                  29

                  A Decision Procedure for (Co)datatypes in SMT Solvers Andrew Reynolds1 and Jasmin Christian Blanchette2,3 1 École Polytechnique Fédérale de Lausanne (EPFL), Switzerland 2 Inria Nancy & LORIA, Villers-lès-Nancy, Franc

                  Add to Reading List

                  Source URL: people.mpi-inf.mpg.de

                  - Date: 2015-11-16 07:29:42
                    30

                    Mechanizing the Metatheory of Sledgehammer Jasmin Christian Blanchette and Andrei Popescu Fakultät für Informatik, Technische Universität München, Germany Abstract. This paper presents an Isabelle/HOL formalization o

                    Add to Reading List

                    Source URL: people.mpi-inf.mpg.de

                    - Date: 2015-01-25 16:18:54
                      UPDATE