Higher-order logic

Results: 178



#Item
1Journal 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 ·

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
2A Relational Modal Logic for Higher-Order Stateful ADTs (Technical Appendix) Derek Dreyer   Georg Neis

A Relational Modal Logic for Higher-Order Stateful ADTs (Technical Appendix) Derek Dreyer Georg Neis

Add to Reading List

Source URL: people.mpi-sws.org

Language: English - Date: 2009-11-03 09:13:08
3AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology

AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology

Add to Reading List

Source URL: itp2016.inria.fr

Language: English - Date: 2016-08-30 03:42:56
    423rd Annual IEEE Symposium on Logic in Computer Science  Winning regions of higher-order pushdown games∗ A. Carayol†  M. Hague‡

    23rd Annual IEEE Symposium on Logic in Computer Science Winning regions of higher-order pushdown games∗ A. Carayol† M. Hague‡

    Add to Reading List

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

    Language: English - Date: 2013-02-08 18:19:58
      5Introduction to higher-order computation Nordic Logic School, Stockholm, 2017 Mart´ın H¨otzel Escard´o Theory Group, School of Computer Science University of Birmingham, UK

      Introduction to higher-order computation Nordic Logic School, Stockholm, 2017 Mart´ın H¨otzel Escard´o Theory Group, School of Computer Science University of Birmingham, UK

      Add to Reading List

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

      Language: English - Date: 2017-08-10 12:41:25
        6A Relational Modal Logic for Higher-Order Stateful ADTs Derek Dreyer Georg Neis  Andreas Rossberg

        A Relational Modal Logic for Higher-Order Stateful ADTs Derek Dreyer Georg Neis Andreas Rossberg

        Add to Reading List

        Source URL: people.mpi-sws.org

        Language: English - Date: 2009-11-12 09:36:49
          7A Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic MIKE DODDS, University of York, UK SURESH JAGANNATHAN, Purdue University, Indiana MATTHEW J. PARKINSON, Microsoft Research, UK

          A Verifying Custom Synchronisation Constructs Using Higher-Order Separation Logic MIKE DODDS, University of York, UK SURESH JAGANNATHAN, Purdue University, Indiana MATTHEW J. PARKINSON, Microsoft Research, UK

          Add to Reading List

          Source URL: www.kasv.dk

          - Date: 2016-10-22 09:38:23
            8banner above paper title  Implementing HOL in an Higher Order Logic Programming Language Cvetan Dunchev

            banner above paper title Implementing HOL in an Higher Order Logic Programming Language Cvetan Dunchev

            Add to Reading List

            Source URL: www.cs.unibo.it

            - Date: 2016-07-28 05:45:11
              9Mapping Data to Higher-Order Description Logic Knowledge Bases Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit`a d

              Mapping Data to Higher-Order Description Logic Knowledge Bases Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati Dipartimento di Informatica e Sistemistica Antonio Ruberti Sapienza Universit`a d

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2011-06-28 16:36:40
                10Technische Universität München Lehrstuhl für Logik und Verifikation Automatic Proofs and Refutations for Higher-Order Logic

                Technische Universität München Lehrstuhl für Logik und Verifikation Automatic Proofs and Refutations for Higher-Order Logic

                Add to Reading List

                Source URL: mediatum.ub.tum.de